Sciweavers

CODES
1999
IEEE
14 years 8 days ago
Worst-case analysis of discrete systems based on conditional abstractions
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
Felice Balarin
APSEC
1999
IEEE
14 years 8 days ago
Testing, Reliability, and Interoperability Issues in the CORBA Programming Paradigm
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...
Gang Xing, Michael R. Lyu
APSEC
1999
IEEE
14 years 8 days ago
Evolution of Business Processes and a Process Simulation Tool
Business processes, such as workflows, are software, too. However, development, evolution, and deployment of business processes have different difficulties from general soft
Hiroyuki Tarumi, Tetsuya Matsuyama, Yahiko Kambaya...
APSEC
1999
IEEE
14 years 8 days ago
An Approach for Measuring Software Evolution Using Source Code Features
One of the characteristics of large software systems is that they evolve over time. Evolution patterns include modifications related to the implementation, interfaces and the over...
Ladan Tahvildari, Richard Gregory, Kostas Kontogia...
APSEC
1999
IEEE
14 years 8 days ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
APSEC
1999
IEEE
14 years 8 days ago
Development of an Intelligent Web Interface to Online Library Catalog Databases
Danny C. C. Poo, Teck-Kang Toh, Christopher S. G. ...
APSEC
1999
IEEE
14 years 8 days ago
Enhancing Object-Based System Composition through Per-Object Mixins
The management of complexity in large systems is traditionally focused on the modeling and management of classes and hierarchies of classes. In order to improve the compositional ...
Gustaf Neumann, Uwe Zdun
APSEC
1999
IEEE
14 years 8 days ago
A Study of Productivity and Efficiency for Object-Oriented Methods and Languages
A study was commissioned by Hughes Space and Communications software engineering group to determine the effectiveness of the recent
Daniel Port, Monica McArthur