714 search results - page 4 / 143 » The Formal Specification Language mCRL2 |
TCSB
2010
14 years 10 months ago
2010
FM
2009
Springer
15 years 6 months ago
2009
Springer
ACSC
2000
IEEE
15 years 3 months 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
16 years 18 days 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...
109
click to vote
ICFEM
1998
Springer
15 years 3 months 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...