1645 search results - page 150 / 329 » Rationale-Based Use Case Specification |
192
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
174
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
175
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...
136
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...
139
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...