3425 search results - page 100 / 685 » A Model Driven Approach for Software Systems Reliability |
148
click to vote
SIGSAND
2008
15 years 4 months ago
2008
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
117
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
141
Voted
ASPDAC
2010
ACM
15 years 25 days ago
2010
ACM
This paper proposes a source-level timing annotation method for generation of accurate transaction level models for software computation modules. While Transaction Level Modeling ...
139
Voted
WER
2004
Springer
15 years 8 months ago
2004
Springer
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...
108
click to vote
IADIS
2004
15 years 4 months ago
2004
This paper outlines new perspectives on the teaching and learning of software systems development in large groups based on a newly designed, final year, Software Systems Analysis ...