626 search results - page 77 / 126 » Closing the Gap Between Software Modelling and Code |
FASE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
SAFECOMP
2005
Springer
14 years 2 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
Automated static analysis can identify potential source code anomalies early in the software process that could lead to field failures. However, only a small portion of static ana...
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE
Model-based control utilizes performance models of applications to choose performant system configurations for execution of applications. The performance models used in this resea...
EMSOFT
2011
Springer
12 years 8 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...