1121 search results - page 122 / 225 » Building Formal Requirements Models for Reliable Software |
133
Voted
WSC
1998
15 years 5 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
138
Voted
ER
2000
Springer
15 years 7 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...
151
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
141
click to vote
AIPS
1994
15 years 5 months ago
1994
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
141
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...