1051 search results - page 94 / 211 » Protocols in the use of empirical software engineering artif... |
ESAW
2000
Springer
14 years 16 days ago
2000
Springer
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
ICSM
2002
IEEE
14 years 1 months ago
2002
IEEE
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...
FAC
2008
13 years 9 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
ICSM
2002
IEEE
14 years 1 months ago
2002
IEEE
In examining software maintenance processes for improvement opportunities, an obvious choice is information flow. Obtaining accurate, up-to-date, and useful information about a sy...
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
Several rapid-feedback-based quality assurance mechanisms are used to manage the quality of continuously evolving software. Even though graphical user interfaces (GUIs) are one of...