2153 search results - page 153 / 431 » From Requirements Models to Formal Specifications in B |
CASCON
2006
14 years 11 months ago
2006
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
FMICS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The definition of a domain ontology is a complex activity that requires two kinds of expertise: a deep knowledge of the domain to be modeled and a good level of familiari...
EDOC
1997
IEEE
15 years 2 months ago
1997
IEEE
Enterprise roles define the duties and responsibilities of the individuals which are assigned to them. This paper introduces a framework for the management of large distributed sy...
MBEES
2010
14 years 8 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...