1099 search results - page 18 / 220 » A tool for assisting the understanding and formal developmen... |
TOSEM
1998
13 years 7 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
KBSE
2003
IEEE
14 years 28 days ago
2003
IEEE
Applications built in a strongly decoupled, eventbased interaction style have many commendable characteristics, including ease of dynamic configuration, accommodation of platform ...
EWSPT
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
CSMR
2006
IEEE
14 years 1 months ago
2006
IEEE
To understand a certain issue of the system we want to ask the knowledgeable developers. Yet, in large systems, not every developer is knowledgeable in all the details of the syst...
DCEIS
2006
13 years 9 months ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...