default search action
IJSEKE, Volume 5
Volume 5, Number 1, March 1995
- Aniello Cimitile:
Guest Editor's Introduction: Adding Pieces to the Software Evolution Puzzle. 1-3 - Ettore Merlo, Jean-Francois Girard, Laurie J. Hendren, Renato de Mori:
Multi-Valued Constant Propagation Analysis for User Interface Reengineering. 5-23 - Martin P. Ward, Keith H. Bennett:
Formal Methods to Aid the Evolution of Software. 25-47 - Gerardo Canfora, Filippo Lanubile, Giuseppe Visaggio:
Iesem: Integrated Environment for Software Evolution Management. 49-71 - Zheng-Yang Liu:
Automating Software Evolution. 73-87 - Luqi, Daniel E. Cooke:
How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software. 89-118 - Robert Godin, Guy W. Mineau, Rokia Missaoui, Marc St-Germain, Najib Faraj:
Applying Concept Formation Methods to Software Reuse. 119-142 - David Eichmann:
Advances in Network Information Discovery and Retrieval. 143-160
Volume 5, Number 2, June 1995
- Robert G. Reynolds:
Guest Editors Introduction: . 161-164 - Frederick E. Petry, Bertrand Daniel Dunay:
Automatic Programming and Program Maintenance with Genetic Programming. 165-177 - Sung-Bae Cho, Thomas S. Ray:
An Evolutionary Approach to Program Transformation and Synthesis. 179-192 - Anestis A. Toptsis:
Heuristic Organization and Domain Analysis of Software Repositories. 193-210 - Robert G. Reynolds, William Sverdlik:
An Evolution-Based Approach to Program Understanding Using Cultural Algorithms. 211-226 - Beat Liver, Dean Allemang:
A Functional Representation for Software Reuse and Design. 227-269 - Yamine Aït Ameur:
Formal Transformational Program Developments Directed by Operational Properties Evaluations. 271-297 - Alfs T. Berztiss:
Reverse Engineering, Reengineering, and Concurrent Engineering of Software. 299-324
Volume 5, Number 3, September 1995
- Motoshi Saeki, Roger Duke:
Guest Editor's Introduction. 325-326 - Atsushi Sawada, Naruki Mitsuda, Tsuneo Ajisaka, Yoshihiro Matsumoto:
Generating Data Access Programs from PCTE Schemas with Constraints. 327-345 - Mark Sifer, John Potter:
Scalability for Graph-Based Case Tools. 347-365 - Junichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden:
Cooad: a Case Tool for Object-Oriented Analysis and Design. 367-389 - Yue-Sun Kuo:
When to Inherit and when not to. 391-405 - Kyo Chul Kang, Kwang-Il Ko:
Parts: a Temporal Logic-Based Real-Time Software Specification Method Supporting Multiple Viewpoints. 407-422 - Paul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake:
Towards an Open Software Conversion Architecture. 423-444 - 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 - Yan-Nong Huang, Verónica Dahl, Jiawei Han:
Fact Updates in Logic Databases. 467-491
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 - Issam A. Hamid, Mohammed Erradi:
Dynamic Evolution of Distributed Systems Specifications Using Reflective Language. 511-540 - Jeongwon Baeg, Atsushi Hirahara, Yoshiaki Fukazawa:
An Adaptive User Navigation Mechanism and its Evaluation. 541-558 - Jouni Similä, Pasi Kuvaja, Lech Krzanik:
Bootstrap: a Software Process Assessment and Improvement Methodology. 559-584 - David Jacobs, Chris D. Marlin:
Software Process Representation to Support Multiple Views. 585-597 - Anthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor:
Cogito: a Methodology and System for Formal Software Development. 599-617
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.