Sciweavers

1689 search results - page 50 / 338
» Empirical Methodologies in Software Engineering
Sort
View
ICSE
2005
IEEE-ACM
15 years 11 months ago
An empirical evaluation of test case filtering techniques based on exercising complex information flows
Some software defects trigger failures only when certain complex information flows occur within the software. Profiling and analyzing such flows therefore provides a potentially i...
David Leon, Wes Masri, Andy Podgurski
AOSE
2000
Springer
15 years 3 months ago
Agent-Oriented Software Engineering: The State of the Art
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
Michael Wooldridge, Paolo Ciancarini
TPHOL
1998
IEEE
15 years 3 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
KBSE
2008
IEEE
15 years 5 months ago
A Methodology and Framework for Creating Domain-Specific Development Infrastructures
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...
George Edwards, Nenad Medvidovic
AOSE
2004
Springer
15 years 4 months ago
Organizational and Social Concepts in Agent Oriented Software Engineering
AOSE methodologies and models borrow various abstractions and concepts from the organization and sociology disciplines. Although they all ti-agent system as organized society, the ...
XinJun Mao, Eric Yu