Sciweavers

2487 search results - page 151 / 498
» Collaborative Engineering Software Development: Ontology-Bas...
Sort
View
151
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
178
Voted
AOSE
2007
Springer
15 years 9 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
107
Voted
VAMOS
2007
Springer
15 years 9 months ago
Layered design approach for context-aware systems
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...
Brecht Desmet, Jorge Vallejos, Pascal Costanza, Ro...
128
Voted
SOQUA
2004
15 years 5 months ago
Measuring Component Performance Using A Systematic Approach and Environment
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...
Jerry Gao, Chandra S. Ravi, Raquel Espinoza
106
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
A search engine for finding highly relevant applications
A fundamental problem of finding applications that are highly relevant to development tasks is the mismatch between the high-level intent reflected in the descriptions of these ...
Mark Grechanik, Chen Fu, Qing Xie, Collin McMillan...