3564 search results - page 181 / 713 » Evaluating a Formal Modelling Language |
133
click to vote
APLAS
2005
ACM
16 years 4 hour ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
185
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
186
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
159
click to vote
EDOC
2008
IEEE
16 years 27 days ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
156
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
In consequence of changing requirements and technological progress, modeling languages are subject to change. When their metamodels are adapted to reflect those changes, existing ...