Volume 2,
Number 1,
March 1992
- Bernd J. Krämer, Mike P. Papazoglou:
Guest Editors' Introduction.
1-3
- Kiyoshi Itoh, Yasuhisa Tamura, Shinichi Honiden:
Transobj: Software Prototyping Environment for Real-Time Transaction-Based Software System Applications.
5-29
- Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh, L. Finkelstein, Michael Goedicke:
Viewpoints: A Framework for Integrating Multiple Perspectives in System Development.
31-57
- Naser S. Barghouti, Gail E. Kaiser:
Scaling up Rule-Based Software Development Environments.
59-78
- Burkhard Peuschel, Wilhelm Schäfer, Stefan Wolf:
A Knowledge-Based Software Development Environment Supporting Cooperative Work.
79-106
- Hermann Kaindl, Holger G. Ziegeler:
Reasoning Types and AI Programming Paradigms.
107-119
- Richard J. Waldinger, Mark E. Stickel:
Proving Properties of Rule-Based Systems.
121-144
- Danny C. C. Poo:
An Object-Oriented Software Requirements Analysis Method.
145-168
Volume 2,
Number 2,
June 1992
Volume 2,
Number 3,
September 1992
- James M. Neighbors:
The Evolution from Software Components to Domain Analysis.
325-354
- Martin David Katz, Dennis J. Volper:
Constraint Propagation in Software Libraries of Transformation Systems.
355-374
- Don S. Batory, Vivek Singhal, Marty Sirkin:
Implementing a Domain Model for Data Structures.
375-402
- Steven Wartik, Rubén Prieto-Díaz:
Criteria for Comparing Reuse-Oriented Domain Analysis Approaches.
403-431
- Filomena Ferrucci, Giancarlo Nota, Giuliano Pacini, Sergio Orefice, Genny Tortora:
On the Refinement of Logic Specifications.
433-448
- Sang Hun Oh, Yoon-Joon Lee, Myoung-Ho Kim:
A Management Discipline of Software Metrics and the Software Quality Manager.
449-465
- David Eichmann:
Assessing Repository Technology: Where do We Go from Here?
467-481
- Arun Lakhotia:
Book Review: "software Engineering: a Holistic View".
483-486
Volume 2,
Number 4,
December 1992
- Jeffrey J. P. Tsai:
Guest Editor's Introduction.
487
- Imran A. Zualkernan, Wei-Tek Tsai, A. Jemie, I. C. Wen, José M. Drake:
Object-Oriented Analysis as Design: a Case Study.
489-521
- Jun-Jang Jeng, Betty H. C. Cheng:
Using Automated Reasoning Techniques to Determine Software Reuse.
523-546
- Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi:
Using ATMS to Efficiently Verify the Termination of Rewrite Rule Programs.
547-565
- Murali Sitaraman:
Performance-Parameterized Reusable Software Components.
567-587
- Yanchun Zhang, Maria E. Orlowska, Robert Colomb:
An Efficient Test for the Validity of Unbiased Hybrid Knowledge Fragmentation in Distributed Databases.
589-609
- Xiaofeng Li:
Expert Systems Implementation: Rules are Bad, Objects are Good.
611-625
Copyright © Fri Mar 12 17:28:43 2010
by Michael Ley (ley@uni-trier.de)