714 search results - page 76 / 143 » The Formal Specification Language mCRL2 |
IFL
2000
Springer
14 years 10 days ago
2000
Springer
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
ATVA
2008
Springer
13 years 10 months ago
2008
Springer
Electronic inter-organizational relationships are governed by contracts regulating their interaction. It is necessary to run-time monitor the contracts, as to guarantee their fulfi...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
GEOINFORMATICA
2006
13 years 8 months ago
2006
Metadata is needed to facilitate data sharing among geospatial information communities. Geographic Metadata Standards are available but tend to be general and complex in nature an...
CIBSE
2008
ACM
13 years 10 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...