1856 search results - page 16 / 372 » Formal Dialectic Specification |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
IFM
2005
Springer
14 years 3 months ago
2005
Springer
SOSYM
2010
13 years 4 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
SOSE
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
UML
2001
Springer
14 years 2 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...