1137 search results - page 5 / 228 » Disciplined Methods of Software Specification: A Case Study |
ESE
2002
13 years 6 months ago
2002
Software inspection is one of the key enablers for quality improvement and defect cost reduction. Although its benefits are shown in many studies, a major obstacle to implement an...
CAISE
2005
Springer
14 years 17 days ago
2005
Springer
Software Engineering (SE) is a field without too much historic background. The youth of the SE discipline is resulted in an immaturity of this research field and SE research still ...
APN
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
EUROMICRO
2000
IEEE
13 years 11 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
EUROSPI
2005
Springer
14 years 16 days ago
2005
Springer
Currently, software development organizations are increasingly interested in adopting agile processes and practices. The organizations, however, need procedures and methods for sup...