Sciweavers

386 search results - page 31 / 78
» ideas 2000
Sort
View
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...
IFM
2000
Springer
13 years 11 months ago
ISpec: Towards Practical and Sound Interface Specifications
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
H. B. M. Jonkers
JMLC
2000
Springer
13 years 11 months ago
Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages
We are concerned with the design of programming languages that support the paradigm of component-oriented programming. Languages based on the accepted idea of combining modular and...
Peter H. Fröhlich, Michael Franz
KONVENS
2000
13 years 11 months ago
Processing Self Corrections
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...
Jörg Spilker, Martin Klarner, Günther G&...
OHS
2000
Springer
13 years 11 months ago
Experiences with OHP and Issues for the Future
Abstract. The OHSWG has by now moved from specifications to running code. This is an important step, not only because this is the only way of maturing the specifications, but also ...
Niels Olof Bouvin