1141 search results - page 180 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
160
click to vote
ICSM
1999
IEEE
15 years 10 months ago
1999
IEEE
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
184
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
164
click to vote
ECBS
2006
IEEE
16 years 8 days ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
297
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
149
click to vote
VAMOS
2007
Springer
16 years 9 days ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...