2153 search results - page 54 / 431 » From Requirements Models to Formal Specifications in B |
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
ICDT
1997
ACM
14 years 1 months ago
1997
ACM
This paper provides a formal foundation for distributed workfiow executions. The state chart formalism is adapted to the needs of a workflow model in order to establish a basis for...
ICDCIT
2007
Springer
14 years 29 days ago
2007
Springer
Abstract. A domain-specific service registry should satisfy two requirements at least: coping with diverse service description requirements from different services; supporting sema...
TOOLS
1999
IEEE
14 years 1 months ago
1999
IEEE
One of the beauties of use cases is their accessible, informal format. Use cases are easy to write, and the graphical notation is trivial. Because of their simplicity, use cases a...
AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
We show our approach for the definition of Domain Specific Languages integrating both graphical and textual views. The approach is based on the meta-modelling concepts provided by ...