default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEE Proceedings - Software, Volume 147
Volume 147, Number 1, February 2000
- J.-S. Lee, S.-D. Cha:
Qualitative formal method for requirements specification and validation of hybrid real-time safety systems. 1-11 - Gordon S. Blair, Anders Andersen, Lynne Blair, Geoff Coulson, David Sánchez:
Supporting dynamic QoS management functions in a reflective middleware platform. 13-21
Volume 147, Number 2, April 2000
- Hans-Gerhard Groß, Bryan F. Jones, David E. Eyres:
Structural performance measure of evolutionary testing applied to worst-case timing of real-time systems. 25-30 - M. F. Bott:
Software as a corporate asset. 31-36 - Martin Fleury, Andy C. Downton, Adrian F. Clark:
Analysis prediction template toolkit (APTT) for object-based computation. 37-47 - Edward D. Willink, Vyacheslav B. Muchnick:
Object-oriented preprocessor fit for C++. 49-58
Volume 147, Number 3, June 2000
- Vittorio Cortellessa, Giuseppe Iazeolla, Raffaela Mirandola:
Early generation of performance models for object-oriented systems. 61-72 - Jonathan S. Ostroff, Richard F. Paige:
The logic of software design. 73-80 - Alexander B. Romanovsky
:
Faulty version recovery in object-oriented N-version programming. 81-90 - Taha Osman, Andrzej Bargiela:
FADI: a fault tolerant environment for open distributed computing. 91-99
Volume 147, Number 4, August 2000
- Ben Clegg, Ian Alexander, Stuart Wingrove, John Boardman, A. Boardman:
Tool support for integrating extended enterprises. 101-108 - Marcus Fontoura, Christiano Braga, Leonardo Mendonça de Moura, Carlos Lucena:
Using domain specific languages to instantiate object-oriented frameworks. 109-116 - Michael Hitchens, Vijay Varadharajan:
Design and specification of role based access control policies. 117-129 - C.-M. Huang, C. Wang, C.-H. Lin:
Interactive multimedia synchronisation in the distributed environment using the formal approach. 131-143
Volume 147, Number 5, October 2000
- José Mira, José R. Álvarez, Rafael Martínez-Tomás:
Knowledge edition and reuse in Diagen: a relational approach. 151-162 - Mar Marcos, Angel P. del Pobil, Sabine Moisan:
Model-based verification of knowledge-based systems: a case study. 163-167 - P. A. González:
Applying knowledge modelling and case-based reasoning to software reuse. 169-177 - Monique Thonnat, Sabine Moisan:
What can program supervision do for program reuse? 179-185 - Steve A. Chien, Forest Fisher, Tara A. Estlin:
Automated software module reconfiguration through the use of artificial intelligence planning techniques. 186-192 - Juan Carlos Herrero, José Mira:
Causality levels in SCHEMA: a knowledge edition interface. 193-200
Volume 147, Number 6, December 2000
- Christelle Chaudet, Robert Mark Greenwood, Flávio Oquendo, Brian Warboys:
Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems. 203-214 - David S. Rosenblum, Rema Natarajan:
Supporting architectural concerns in component interoperability standards. 215-223 - Alexander Egyed, Nenad Medvidovic, Cristina Gacek:
Component-based perspective on software mismatch detection and resolution. 225-236 - Stan Jarzabek, Rudolph E. Seviora:
Engineering components for ease of customisation and evolution. 237-248 - M. M. Lehman, Juan F. Ramil:
Software evolution in the age of component-based software engineering. 249-255
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
