2373 search results - page 138 / 475 » The Design of the Zinc Modelling Language |
149
click to vote
ENTCS
2006
15 years 6 months ago
2006
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
165
click to vote
EDUTAINMENT
2007
Springer
16 years 18 days ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
174
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...
181
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
150
click to vote
METRICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Function point analysis(FPA) was proposedto help measure the size of a computerizedbusiness information system. It is widely used in the actual software development. However, it h...