Sciweavers

2853 search results - page 408 / 571
» A platform for software engineering research
Sort
View
ESEC
1997
Springer
14 years 2 months ago
A Framework for Classifying and Comparing Architecture Description Languages
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...
Nenad Medvidovic, Richard N. Taylor
AAAI
2008
14 years 18 days ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
FORTEST
2008
13 years 11 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...
AAMAS
2007
Springer
13 years 10 months ago
Mechanisms for environments in multi-agent systems: Survey and opportunities
The environment has been recognized as an explicit and exploitable element to design Multi-Agent Systems (MAS). It can be assigned a number of responsibilities that would be more d...
Eric Platon, Marco Mamei, Nicolas Sabouret, Shinic...
TSE
2002
133views more  TSE 2002»
13 years 10 months ago
Quality, Productivity, and Learning in Framework-Based Development: An Exploratory Case Study
This paper presents an empirical study in an industrial context on the production of software using a framework. Frameworks are semicomplete applications, usually implemented as a ...
Maurizio Morisio, Daniele Romano, Ioannis Stamelos