1597 search results - page 104 / 320 » Context Capture in Software Development |
128
click to vote
ICALT
2006
IEEE
15 years 8 months ago
2006
IEEE
The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...
144
Voted
IASTEDSEA
2004
15 years 4 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
150
click to vote
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
113
Voted
TOSEM
1998
15 years 2 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...
102
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...