2943 search results - page 181 / 589 » Software Implementation of Synchronous Programs |
132
click to vote
SFP
2004
15 years 4 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
126
click to vote
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
The US Military’s ability to meet its mission critical requirements calls for increased agility in its information technology development process. The purpose of this case study...
103
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Software vendors are unaware of how their software performs in the field. They do not know what parts of their software are used and appreciated most and have little knowledge ab...
EUROSIM
1994
15 years 4 months ago
1994
This paper introduces Pact, a new model for parallel heuristic programming on MIMD machines. Designed and implemented as an integrated tool environment, Pact allows the user to dev...
127
click to vote
AOSD
2006
ACM
15 years 9 months ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...