ICSE
2000
IEEE-ACM
14 years 3 months ago
2000
IEEE-ACM
In this article we summarize the strengths and weaknesses of empirical research in software engineering. We argue that in order to improve the current situation we must create bet...
ICSE
2000
IEEE-ACM
14 years 3 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
ICSE
2000
IEEE-ACM
14 years 3 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
ICSE
2000
IEEE-ACM
14 years 3 months ago
2000
IEEE-ACM
Software engineering has traditionally focussed on functional requirements and how to build software that has few bugs and can be easily maintained. Most design approaches include...
ICSE
2000
IEEE-ACM
14 years 3 months ago
2000
IEEE-ACM
Well engineered Web based courseware and exercises provide flexibility and added value to the students, which goes beyond the traditional text book or CD-ROM based courses. The Mu...
ICSE
2000
IEEE-ACM
14 years 3 months ago
2000
IEEE-ACM
ICSE
2000
IEEE-ACM
14 years 3 months ago
2000
IEEE-ACM
Tools and environments to aid developers in producing software have existed, in one form or another, since the early days of computer programming. They are becoming increasingly c...
ICSE
2000
IEEE-ACM
14 years 3 months ago
2000
IEEE-ACM
This paper presents an overview of the field of software systems requirements engineering (RE). It describes the main areas of RE practice, and highlights some key open research i...
ICSE
2000
IEEE-ACM
14 years 3 months ago
2000
IEEE-ACM
By the early 1990s the need for reengineering legacy systems was already acute, but recently the demand has increased significantly with the shift toward web-based user interfaces...
ICSE
2000
IEEE-ACM
14 years 3 months ago
2000
IEEE-ACM
The work described in this paper is an investigation of COTS-based software development within a particular NASA environment, with an emphasis on the processes used. Fifteen proje...