171 search results - page 10 / 35 » Experience report: using RESOLVE C for commercial software |
APLAS
2004
ACM
14 years 25 days ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
CSEE
2007
Springer
14 years 1 months ago
2007
Springer
This report illustrates the use of qualitative methods and an interpretive framework (Cultural Historical Activity Theory) to examine educational interventions. The techniques are...
WSC
2008
13 years 9 months ago
2008
The commercial simulation environments that are available today focus primarily on the development of simulation models. They are designed for a single user. They provide animatio...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Testing a large-scale, real-life commercial software application is a very challenging task due to the constant changes in the software, the involvement of multiple programmers an...
VAMOS
2010
Springer
13 years 8 months ago
2010
Springer
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...