Sciweavers

1014 search results - page 8 / 203
» Software Development Environments for Scientific and Enginee...
Sort
View
EUROMICRO
2004
IEEE
13 years 11 months ago
Using Academic Courses for Empirical Validation of Software Development Processes
Software Process Improvement needs sound empirical data gathered from a range of empirical studies such as controlled experiments or case studies. However, conducting empirical st...
Marcus Ciolkowski, Dirk Muthig, Jörg Rech
CSEE
2003
Springer
14 years 27 days ago
Is Software Engineering Training Enough for Software Engineers
Most software engineering courses focus exclusively on the software development process, often referring to problems related to the complexity of software products and processes. ...
Ivica Crnkovic, Rikard Land, Andreas Sjögren
TPHOL
1998
IEEE
13 years 12 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...
AOSE
2007
Springer
14 years 1 months ago
Tool-Supported Development with Tropos: The Conference Management System Case Study
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alber...
ICSE
2001
IEEE-ACM
14 years 3 days ago
Applying WinWin to Quality Requirements: A Case Study
This paper describes the application of the WinWin paradigm to identify and resolve conflicts in a series of real-client, student-developer digital library projects. The paper is ...
Hoh In, Barry W. Boehm, Thomas Lee Rodgers, Michae...