525 search results - page 35 / 105 » Systems Development Using Z Generics |
SAFECOMP
2000
Springer
13 years 11 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...
TACS
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
IWFM
1998
13 years 9 months ago
1998
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...
WORDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
SCFBM
2008
13 years 7 months ago
2008
Background: We present a C++ class library for Monte Carlo simulation of molecular systems, including proteins in solution. The design is generic and highly modular, enabling mult...