1099 search results - page 23 / 220 » A tool for assisting the understanding and formal developmen... |
QSIC
2003
IEEE
14 years 28 days ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
WOTUG
2008
13 years 9 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Generative Programming advocates developing a family of systems rather than a set of single systems. Feature modeling can assist in supporting the development of such software pro...
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
ISESE
2003
IEEE
14 years 29 days ago
2003
IEEE
In this paper we report results of an informal field study of a software development team conducted during an eight week internship at the NASA/Ames Research Center. The team deve...