2935 search results - page 99 / 587 » An Integrated Approach to High Integrity Software Verificati... |
135
click to vote
WSC
2001
15 years 5 months ago
2001
This document talks about the usage of Simulation Data Exchange (SDX) (Moorthy 1999) in order to enable a consistent digital model of automotive factories. The scope of the digita...
146
click to vote
ACMSE
2004
ACM
15 years 10 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
119
click to vote
MODELLIERUNG
2008
15 years 6 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
129
click to vote
IASTEDSE
2004
15 years 5 months ago
2004
This paper describes the use of executable specifications to ease incremental development, by providing more flexibility regarding the order in which modules are implemented. In t...
164
click to vote
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
Much research in software engineering have been focused on improving software quality and automating the maintenance process to reduce software costs and mitigating complications ...