3432 search results - page 268 / 687 » Model Development in the UML-based Specification Environment... |
214
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
202
click to vote
ECTEL
2008
Springer
15 years 9 months ago
2008
Springer
This paper presents our research works and our proposal : ISiS model (Intentions, Strategies, interactional Situations), a conceptual framework elaborated to structure the design o...
172
click to vote
IVC
2000
15 years 7 months ago
2000
Rule-based systems employed to model complex object behaviours, do not necessarily provide a realistic portrayal of true behaviour. To capture the real characteristics in a specif...
175
click to vote
ICEBE
2007
IEEE
16 years 1 months ago
2007
IEEE
Globalization and rapid development of Information Technologies have set a new stage for business. Collaborative Commerce has become a strategic necessity to develop high quality ...
180
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...