4377 search results - page 81 / 876 » Application Driven Software Development |
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...
115
click to vote
ECOWS
2007
Springer
15 years 7 months ago
2007
Springer
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
121
click to vote
FLAIRS
2000
15 years 2 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
109
click to vote
IESA
2007
15 years 3 months ago
2007
This paper focuses on the construct of interoperability of web-based information applications, commonly known as ‘mashups’, reporting a case study of a global content provider...
119
click to vote
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...