1099 search results - page 27 / 220 » A tool for assisting the understanding and formal developmen... |
CASCON
2007
13 years 9 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper presents the RTExpressTM environment which is a software tool that assists a user in rapidly developing real-time embedded systems. RTExpressTM is a compiler and runtim...
JLP
2006
13 years 7 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents the Xrefactory project. Xrefactory is a plugin to editors and Integrated Development Environments (IDE) providing a variety of source understanding and refacto...
ICFEM
1998
Springer
13 years 11 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...