2153 search results - page 138 / 431 » From Requirements Models to Formal Specifications in B |
AIEDAM
2007
14 years 10 months ago
2007
This paper presents an ontological framework for situated design teams in which the team is both the subject and the object of designing. Team designing is modelled using the set o...
ICSEA
2006
IEEE
15 years 4 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
VLSID
2008
IEEE
15 years 10 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
SDB
1995
15 years 1 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
ACSD
2003
IEEE
15 years 3 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...