714 search results - page 4 / 143 » The Formal Specification Language mCRL2 |
TCSB
2010
13 years 7 months ago
2010
FM
2009
Springer
14 years 3 months ago
2009
Springer
ACSC
2000
IEEE
14 years 17 days ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
DAC
1998
ACM
14 years 10 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
ICFEM
1998
Springer
14 years 16 days ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...