![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
IJSEKE, Volume 4
Volume 4, Number 1, March 1994
- Kathleen Brade, Mark Guzdial, Mark Steckel, Elliot Soloway:
Whorf: a Hypertext Tool for Software Maintenance. 1-16 - Pankaj K. Garg, Thuan Q. Pham, Brian W. Beach, Anand Deshpande, Audrey Ishizaki, Kevin D. Wentzel, Wendy Fong:
Matisse: a Knowledge-Based Team Programming Environment. 17-59 - Kunihiko Higa, Milam W. Aiken, Olivia R. Liu Sheng:
Structured Design of a Knowledge-Based Message Dissemination System. 61-80 - Chung-Horng Lung, Jeffery K. Cochran, Gerald T. Mackulak, Joseph E. Urban:
Computer Simulation Software Reuse by Generic/Specific Domain Modeling Approach. 81-102 - Allen S. Parrish, David Cordes:
Applying Conventional Unit Testing Techniques to Abstract Data Type Operations. 103-122 - Ben R. Whittle, Robert John Gautier, Mark B. Ratcliffe:
Trends in Structure-Oriented Environments. 123-157 - Koen Vanhoof
, Jerzy Surma:
Comparing Two Hybrid Expert System Shells. 159-164
Volume 4, Number 2, June 1994
- Alfs T. Berztiss:
Safety-Critical Software: a Research Agenda. 165-181 - Gerald C. Gannod, Betty H. C. Cheng:
Facilitating the Maintenance of Safety-Critical Systems. 183-204 - Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair:
Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach. 205-228 - Wolfgang Deiters, Volker Gruhn:
The FUNSOFT Net Approach to Software Process Management. 229-256 - Grigoris Antoniou:
Modularity and Correctness for Logic Programs and Knowledge Bases. 257-275 - Aniello Cimitile, Giuseppe Visaggio:
A Formalism for Structured Planning of a Software Project. 277-300
Volume 4, Number 3, September 1994
- Frank W. Calles:
Reverse Engineering Guest Editor's Introductions. 301 - Thomas Kunz:
Reverse Engineering Distributed Applications: an Event Abstraction Tool. 303-323 - Santanu Paul, Atul Prakash
:
Supporting Queries on Source Code: a Formal Framework. 325-348 - Hyeon Soo Kim, Yong Rae Kwon, In Sang Chung:
Restructuring Programs through Program Slicing. 349-368 - Sophie Renault, Pierre Deransart:
Design of Redundant Formal Specifications by Logic Programming: Merging Formal Text and Good Comments. 369-390 - Eugeniusz Eberbach:
Semal: a Cost Language Based on the Calculus of Self-Modifiable Algorithms. 391-408 - Christopher M. Lott:
Measurement Support in Software Engineering Environments. 409-426
Volume 4, Number 4, December 1994
- Yi Deng, Shi-Kuo Chang, Xiaola Lin:
Executable Specification and Analysis for the Design of Concurrent Object-Oriented Systems. 427-450 - Jean-Louis Sourrouille:
A Knowledge-Based Framework of Object-Oriented Software Development Environments. 451-479 - Carlo Montangero, Franco Scarselli
:
Software Process Monitoring Mechanisms in Oikos. 481-499 - Scott R. Tilley, Kenny Wong, Margaret-Anne D. Storey, Hausi A. Müller
:
Programmable Reverse Engineering. 501-520 - Norman Wilde, Allen Chapman, Raymond Richardson:
The Extensible Dependency Analysis Tool Set: a Knowledge Base for Understanding Industrial Software. 521-534 - Sandrine Blazy
, Philippe Facon:
Partial Evaluation for the Understanding of Fortran Programs. 535-559 - Jianxin Li, Arun Lakhotia:
Using Mathematical Induction in Systematic Program Development. 561-574
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.