Sciweavers

10241 search results - page 352 / 2049
» Goal-Driven Software Development
Sort
View
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
AGILEDC
2007
IEEE
16 years 1 months ago
The Role of Incremental Change in Agile Software Processes
This paper presents a model of incremental change that consists of concept location, impact analysis, actualization, change propagation, supporting refactorings, and testing. Repe...
Neal Febbraro, Václav Rajlich
PDCAT
2007
Springer
16 years 24 days ago
Incorporating Security Requirements into Communication Protocols in Multi-agent Software Systems
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
Yuxiu Luo, Giannakis Antoniou, Leon Sterling
SEUS
2005
IEEE
16 years 8 days ago
A Case Study on Partial Evaluation in Embedded Software Design
Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. Howe...
Michael Jung, Ralf Laue 0002, Sorin A. Huss
ITICSE
2000
ACM
15 years 11 months ago
Enter the usability engineer: integrating HCI and software engineering
This paper examines the role of Human Computer Interaction in the context of the Computer Science and Software Engineering curricula. We suggest there needs to be much more integr...
Xristine Faulkner, Fintan Culwin