545 search results - page 69 / 109 » Computer-Aided Method Engineering: An Analysis of Existing E... |
AOSD
2006
ACM
14 years 2 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
14 years 1 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
FMICS
2007
Springer
14 years 2 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
KBSE
1998
IEEE
14 years 8 days ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
IJSEKE
2000
13 years 7 months ago
2000
The ability to handle changes is a characteristic feature of successful software projects. The problem addressed in this paper is what should be done in project planning and itera...