Sciweavers

ICSE
2000
IEEE-ACM
13 years 11 months ago
Supporting dynamic composition of components
The Internet creates new opportunities for component distribution. Infrastructure for dynamic, Web-based composition of software components appears to be a very impelling need. Th...
Giancarlo Succi, Raymond Wong, Eric Liu, Michael R...
ICSE
2000
IEEE-ACM
13 years 11 months ago
Workshop on standard exchange format (WoSEF)
A workshop was held at ICSE 2000 in Limerick, Ireland to further efforts in the development of a standard exchange format (SEF) for data extracted from and about source code. WoSE...
Susan Elliott Sim, Richard C. Holt, Rainer Koschke
ICSE
2000
IEEE-ACM
13 years 11 months ago
Software engineering education: a roadmap
Software's increasingly critical role in systems of widespread significance presents new challenges for the education of software engineers. Not only is our dependence on sof...
Mary Shaw
ICSE
2000
IEEE-ACM
13 years 11 months ago
An interactive multimedia software house simulation for postgraduate software engineers
: The Open University's M880 Software Engineering is a postgraduate distance education course aimed at software professionals. The case study element of the course (approximat...
Helen Sharp, Pat Hall
ICSE
2000
IEEE-ACM
13 years 11 months ago
Software engineering for mobility: a roadmap
The term distributed computing conjures the image of a fixed network structure whose nodes support the execution of processes that communicate with each other via messages traveli...
Gruia-Catalin Roman, Gian Pietro Picco, Amy L. Mur...
ICSE
2000
IEEE-ACM
13 years 11 months ago
Empirical studies of software engineering: a roadmap
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...
Dewayne E. Perry, Adam A. Porter, Lawrence G. Vott...
ICSE
2000
IEEE-ACM
13 years 11 months ago
Verification of time partitioning in the DEOS scheduler kernel
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. ...
John Penix, Willem Visser, Eric Engstrom, Aaron La...
ICSE
2000
IEEE-ACM
13 years 11 months ago
A formal approach for designing CORBA based applications
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...
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alb...
ICSE
2000
IEEE-ACM
13 years 11 months ago
Software engineering and performance: a road-map
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...
Rob Pooley
ICSE
2000
IEEE-ACM
13 years 11 months ago
Multibook's test environment
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...
Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Bern...