Volume 5,
Number 1,
March 1995
- Aniello Cimitile:
Guest Editor's Introduction: Adding Pieces to the Software Evolution Puzzle.
1-3
Electronic Edition (link) BibTeX
- Ettore Merlo, Jean-Francois Girard, Laurie J. Hendren, Renato de Mori:
Multi-Valued Constant Propagation Analysis for User Interface Reengineering.
5-23
Electronic Edition (link) BibTeX
- Martin P. Ward, Keith H. Bennett:
Formal Methods to Aid the Evolution of Software.
25-47
Electronic Edition (link) BibTeX
- Gerardo Canfora, Filippo Lanubile, Giuseppe Visaggio:
Iesem: Integrated Environment for Software Evolution Management.
49-71
Electronic Edition (link) BibTeX
- Zheng-Yang Liu:
Automating Software Evolution.
73-87
Electronic Edition (link) BibTeX
- Luqi, Daniel E. Cooke:
How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software.
89-118
Electronic Edition (link) BibTeX
- Robert Godin, Guy W. Mineau, Rokia Missaoui, Marc St-Germain, Najib Faraj:
Applying Concept Formation Methods to Software Reuse.
119-142
Electronic Edition (link) BibTeX
- David Eichmann:
Advances in Network Information Discovery and Retrieval.
143-160
Electronic Edition (link) BibTeX
Volume 5,
Number 2,
June 1995
Volume 5,
Number 3,
September 1995
- Motoshi Saeki, Roger Duke:
Guest Editor's Introduction.
325-326
Electronic Edition (link) BibTeX
- Atsushi Sawada, Naruki Mitsuda, Tsuneo Ajisaka, Yoshihiro Matsumoto:
Generating Data Access Programs from PCTE Schemas with Constraints.
327-345
Electronic Edition (link) BibTeX
- Mark Sifer, John Potter:
Scalability for Graph-Based Case Tools.
347-365
Electronic Edition (link) BibTeX
- Junichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden:
Cooad: a Case Tool for Object-Oriented Analysis and Design.
367-389
Electronic Edition (link) BibTeX
- Y. S. Kuo:
When to Inherit and when not to.
391-405
Electronic Edition (link) BibTeX
- Kyo Chul Kang, Kwang-Il Ko:
Parts: a Temporal Logic-Based Real-Time Software Specification Method Supporting Multiple Viewpoints.
407-422
Electronic Edition (link) BibTeX
- Paul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake:
Towards an Open Software Conversion Architecture.
423-444
Electronic Edition (link) BibTeX
- Fernando Alonso, Natalia Juristo Juzgado, Juan Pazos:
Trends in Life-Cycle Models for SE and KE: Proposal for a Spiral-conical Life-Cycle Approach.
445-465
Electronic Edition (link) BibTeX
- Yan-Nong Huang, Verónica Dahl, Jiawei Han:
Fact Updates in Logic Databases.
467-491
Electronic Edition (link) BibTeX
Volume 5,
Number 4,
December 1995
- Gwan-Hwan Hwang, Kuo-Chung Tai, Ting-Lu Huang:
Reachability Testing: an Approach to Testing Concurrent Software.
493-510
Electronic Edition (link) BibTeX
- Issam A. Hamid, Mohamed Erradi:
Dynamic Evolution of Distributed Systems Specifications Using Reflective Language.
511-540
Electronic Edition (link) BibTeX
- Jeongwon Baeg, Atsushi Hirahara, Yoshiaki Fukazawa:
An Adaptive User Navigation Mechanism and its Evaluation.
541-558
Electronic Edition (link) BibTeX
- Jouni Similä, Pasi Kuvaja, Lech Krzanik:
Bootstrap: a Software Process Assessment and Improvement Methodology.
559-584
Electronic Edition (link) BibTeX
- David Jacobs, Chris D. Marlin:
Software Process Representation to Support Multiple Views.
585-597
Electronic Edition (link) BibTeX
- Anthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor:
Cogito: a Methodology and System for Formal Software Development.
599-617
Electronic Edition (link) BibTeX
Copyright © Wed Aug 20 20:21:58 2008
by Michael Ley (ley@uni-trier.de)
