622 search results - page 109 / 125 » Integrating Software Construction and Software Deployment |
SAC
2004
ACM
14 years 2 months ago
2004
ACM
This paper addresses the problem of “missing requirements” in software requirements specification (SRS) expressed in natural language. Due to rapid changes in technology and b...
ICFEM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
GROUP
2003
ACM
14 years 2 months ago
2003
ACM
Group awareness is an important part of synchronous collaboration, and support for group awareness can greatly improve groupware usability. However, it is still difficult to build...
ICVS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Experimenting and building integrated, operational systems in computational vision poses both theoretical and practical challenges, involving methodologies from control t...
IFM
1999
Springer
14 years 1 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...