1937 search results - page 37 / 388 » Starting B Specifications from Use Cases |
163
Voted
ER
2000
Springer
15 years 9 months ago
2000
Springer
The development of object-oriented software starts from requirements expressed commonly as Use Cases. The requirements are then converted into a conceptual or analysis model. Analy...
183
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
139
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
166
click to vote
ECTEL
2008
Springer
2008
Springer
Bridging the Gap between Practitioners and E-Learning Standards: A Domain-Specific Modeling Approach
15 years 8 months ago
Developing a learning design using IMS Learning Design (LD) is difficult for average practitioners because a high overhead of pedagogical knowledge and technical knowledge is requi...
145
click to vote
DAC
1990
ACM
15 years 10 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...