897 search results - page 9 / 180 » Reuse, Validation and Verification of System Development Pro... |
COLCOM
2008
IEEE
13 years 9 months ago
2008
IEEE
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
EWCBR
1998
Springer
13 years 11 months ago
1998
Springer
In this paper, an interactive system for the development of Image Processing applications is described. This system is intended to provide some assistance to Image Processing exper...
AMAST
2008
Springer
13 years 9 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
HICSS
2003
IEEE
14 years 27 days ago
2003
IEEE
Software processes are critical assets of software development organizations. The knowledge about context in which a process is defined and tailored is typically lost during softw...
FLAIRS
2000
13 years 9 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...