306 search results - page 46 / 62 » Towards a Generic Modeling Language for Contract-Based Desig... |
ICWE
2007
Springer
15 years 5 months ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
112
click to vote
KBSE
2000
IEEE
15 years 3 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
111
click to vote
CONTEXT
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The knowledge representation tradition in computational lexicon design represents words as static encapsulations of purely lexical knowledge. We suggest that this view po...
FPGA
2004
ACM
15 years 4 months ago
2004
ACM
We describe an effort to prototype an Itanium microarchitecture using an FPGA. The microarchitecture model is written in the Bluespec hardware description language (HDL) and suppo...
RSP
2008
IEEE
15 years 5 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...