3514 search results - page 200 / 703 » Evolving Specification Engineering |
115
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
104
click to vote
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
100
click to vote
WICSA
2008
15 years 4 months ago
2008
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
137
Voted
ECLIPSE
2004
ACM
15 years 8 months ago
2004
ACM
Developing and consistently evolving quality software designs requires both theoretical knowledge and practical skills. The former can be communicated in a classroom; the latter h...
172
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...