1468 search results - page 132 / 294 » On Industrial Use of Requirements Engineering Techniques |
144
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
210
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
146
click to vote
ICESS
2007
Springer
16 years 17 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
161
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Particle systems have been incorporated into a wide variety of applications in both academia and industry. They can be employed to investigate complex natural phenomena, illustrat...
144
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...