848 search results - page 8 / 170 » A Formal Monitoring-Based Framework for Software Development... |
SERP
2007
13 years 10 months ago
2007
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
In response to changing requirements and other environmental influences, software systems are increasingly developed incrementally. Successful implementation of new features in e...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
EMSOFT
2006
Springer
13 years 10 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
ESEM
2008
ACM
13 years 10 months ago
2008
ACM
The identification and management of work dependencies is a fundamental challenge in software development organizations. This paper argues that modularization, the traditional tec...