1676 search results - page 42 / 336 » Formal System Development with KIV |
132
click to vote
POPL
1993
ACM
15 years 8 months ago
1993
ACM
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...
129
click to vote
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
132
click to vote
PADS
2004
ACM
15 years 9 months ago
2004
ACM
This paper advocates the use of a formal framework for analyzing simulation performance. Simulation performance is characterized based on the three simulation development process ...
137
Voted
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
117
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...