665 search results - page 4 / 133 » Case Study Methodology Designed Research in Software Enginee... |
ESEM
2007
ACM
15 years 1 months ago
2007
ACM
Empirical studies are crucial to gain evidence on the effects of software engineering methods and tools in defined contexts. However, empirical studies can be costly and thus need...
USENIX
2000
14 years 11 months ago
2000
Benchmarks have historically played a key role in guiding the progress of computer science systems research and development, but have traditionally neglected the areas of availabi...
SEFM
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
AOSE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
TPHOL
1998
IEEE
15 years 1 months ago
1998
IEEE
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...