Sciweavers

2030 search results - page 67 / 406
» Checklists for Software Engineering Case Study Research
Sort
View
CSMR
2010
IEEE
14 years 4 months ago
Reverse Engineering Component Models for Quality Predictions
Legacy applications are still widely spread. If a need to change deployment or update its functionality arises, it becomes difficult to estimate the performance impact of such modi...
Steffen Becker, Michael Hauck, Mircea Trifu, Klaus...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 2 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
UML
2001
Springer
15 years 2 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France
ICSM
2007
IEEE
15 years 4 months ago
Debugging Integrated Systems: An Ethnographic Study of Debugging Practice
This paper explores how software developers debug integrated systems, where they have little or no access to the source code of the third-party software the system is composed of....
Thomas Østerlie, Alf Inge Wang
COMSWARE
2007
IEEE
15 years 4 months ago
VoIP-based Intra-village Teleconnectivity: An Architecture and Case Study
— Several solutions exist to bridge the last-mile gap in rural telecom. These extend a point of presence from a town to kiosks in surrounding villages. In this paper, we deal wit...
Janak Chandarana, K. Sravana Kumar, Srinath Perur,...