Sciweavers

2835 search results - page 283 / 567
» Imperfect Requirements in Software Development
Sort
View
VSTTE
2005
Springer
16 years 15 hour ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
SELMAS
2004
Springer
15 years 12 months ago
Composition of a New Process to Meet Agile Needs Using Method Engineering
The need of developing a new software engineering process (SEP) that could allow the quick prototyping of some robotic applications and meet the requests coming from some companie...
Massimo Cossentino, Valeria Seidita
EMSOFT
2001
Springer
15 years 11 months ago
An Implementation of Scoped Memory for Real-Time Java
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
William S. Beebee, Martin C. Rinard
ECOOPW
1999
Springer
15 years 10 months ago
Black-Box Program Specialization
Software components o er numerous advantages in terms of development, but may give rise to ine ciency due to highly generic implementations. Program specialization can automatical...
Ulrik Pagh Schultz
OORASE
1999
Springer
15 years 10 months ago
OpenJava: A Class-Based Macro System for Java
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
Michiaki Tatsubori, Shigeru Chiba, Kozo Itano, Mar...