859 search results - page 34 / 172 » Explaining Synthesized Software |
DAGSTUHL
2007
13 years 11 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
PROFES
2005
Springer
14 years 3 months ago
2005
Springer
This paper addresses the almost never-ending headache the role of documentation has given for software projects. Working software has been given recently a focus over comprehensive...
RE
2010
Springer
13 years 4 months ago
2010
Springer
Abstract--The paper describes the quotations gathered during interviews and focus groups during a consulting engagement to help the client improve its requirements engineering (RE)...
TFM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
MODELS
2007
Springer
14 years 4 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...