1137 search results - page 105 / 228 » Disciplined Methods of Software Specification: A Case Study |
CORR
2006
Springer
14 years 10 months ago
2006
Springer
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
INFSOF
2002
14 years 9 months ago
2002
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
104
click to vote
AI50
2006
15 years 1 months ago
2006
Abstract. This paper describes a multi-disciplinary initiative to promote collaborative research in enactive artificial cognitive systems by developing the iCub : a open-systems 53...
ISESE
2006
IEEE
15 years 3 months ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
FM
1999
Springer
15 years 2 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...