Sciweavers

4683 search results - page 497 / 937
» Software Release Management
Sort
View
EEMMAS
2007
Springer
16 years 1 months ago
DECIDE: Applying Multi-agent Design and Decision Logic to a Baggage Handling System
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...
Kasper Hallenborg, Yves Demazeau
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
16 years 17 days ago
Model Checking C Programs Using F-SOFT
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Mala...
ICSM
2005
IEEE
16 years 17 days ago
Isolating Idiomatic Crosscutting Concerns
This paper reports on our experience in automatically migrating the crosscutting concerns of a large-scale software system, written in C, to an aspect-oriented implementation. We ...
Magiel Bruntink, Arie van Deursen, Tom Tourw&eacut...
MSR
2005
ACM
16 years 16 days ago
When do changes induce fixes?
As a software system evolves, programmers make changes that sometimes cause problems. We analyze CVS archives for fix-inducing changes—changes that lead to problems, indicated ...
Jacek Sliwerski, Thomas Zimmermann, Andreas Zeller
RE
2005
Springer
16 years 13 days ago
Model-Driven Visual Requirements Engineering
This paper describes the requirements handling process of a set of research projects, the ATHENA IP, and how this process is supported by modeling and visualizing requirement stru...
Helge Grenager Solheim, Frank M. Lillehagen, Sobah...