1088 search results - page 15 / 218 » Tools for support of automata-based programming |
AC
2008
Springer
13 years 7 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
CLEIEJ
2010
13 years 4 months ago
2010
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
The documentation of a program often falls behind the evolution of the program source files. When this happens it may be attractive to shift the documentation mode from updating ...
GI
2009
Springer
14 years 13 hour ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
SAC
2008
ACM
13 years 6 months ago
2008
ACM
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...