859 search results - page 19 / 172 » Explaining Synthesized Software |
RSP
2005
IEEE
14 years 2 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
ECBS
2007
IEEE
14 years 2 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
ECBS
2005
IEEE
14 years 2 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
Recent publications indicate the importance of software engineering in the computer science curriculum. In this paper, we present the final part of software engineering education ...
PROFES
2007
Springer
14 years 2 months ago
2007
Springer
In this paper, we present the application of a set of software engineering roles. Role definitions were developed using internationally recognized software engineering reference do...