Sciweavers

1641 search results - page 206 / 329
» The Timeboxing process model for iterative software developm...
Sort
View
HICSS
2003
IEEE
151views Biometrics» more  HICSS 2003»
14 years 2 months ago
An Evaluation of Applying Use Cases to Construct Design versus Validate Design
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
Erik Syversen, Bente Anda, Dag I. K. Sjøber...
UML
2001
Springer
14 years 1 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
IEEECIT
2010
IEEE
13 years 7 months ago
Study on the Industry Oriented Education for Computing of Ireland and Its Application
—This paper analyzes the mechanism of Industry Oriented Education of Ireland, especially in DIT and extracts useful experience to the education process of pilot software schools ...
Wu Tao, Chen Ya-ping, Ning Feng, Gu Xi-Qian
FSEN
2007
Springer
14 years 3 months ago
Adapting the UPPAAL Model of a Distributed Lift System
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
Wan Fokkink, Allard Kakebeen, Jun Pang
JSS
2010
120views more  JSS 2010»
13 years 7 months ago
An evaluation of timed scenario notations
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
Jameleddine Hassine, Juergen Rilling, Rachida Dsso...