Abstract is missing.
- Visual CommunicationsS. K. Chang. 1
- An experiment in eliminating the separation between data, functional, and behavioral models during requirements specificationHany M. Atchan, Gordon C. Everest. 2-9
- The COMMODIOUS method - COMmunication MODelling as an aid to Illustrate the Organisational Use of SoftwarePeter Holm. 10-19
- Software requirements acquisition through enterprise modellingMarite Kirikova, Janis A. Bubenko Jr.. 20-27
- A contextual approach for the requirements engineering processColette Rolland. 28-35
- A tool for assisting the understanding and formal development of softwareSalwa K. Abd-El-Hafiz, Victor R. Basili. 36-45
- Automation support for concurrent software engineeringSalah Badr, Luqi. 46-53
- GRADE Windows: an integrated CASE tool for information system developmentJanis Barzdins, Audris Kalnins, Karlis Podnieks, Ilona Etmane, Andrejs J. Auzins, A. Kalis, P. Krastins, S. Rozenfelds. 54-61
- A deductive infrastructure for exploratory software evolutionPearl Brereton, Paul Singleton. 62-69
- The object-oriented development of a distributed multimedia environmental information systemBetty H. C. Cheng, Robert H. Bourdeau, Gerald C. Gannod. 70-77
- DesignKARL - A language for the design of knowledge-based systemsDieter Landes. 78-85
- Automated support to system modeling from informal software requirementsSooyong Park, James D. Palmer. 86-93
- Tools for validation and simulation of Estelle/Ag specificationsHenrikas Pranevitchius, Vytautas Pilkauskas. 94-99
- A process for verification based inspectionsL. Ben Arfa, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce. 100-107
- A language for debugging automationMikhail Auguston. 108-115
- Knowledge engineering helps testing protection softwareHong Zhu, Patrick A. V. Hall, John H. R. May. 116-123
- Specialization of derivations in Hoare-like logic with recursive proceduresAida Pliuskeviciene. 124-130
- Combining transformational and derivational analogy in Larch specification generationPerry Alexander. 131-138
- A LOTOS specification of the SERCOS field-bus protocolLuca Durante, Riccardo Sisto, Adriano Valenzano. 139-147
- Towards automatic building of performance models: Formal specification of performance constraintsKen Jackson, Albert Llamosi, Ramón Puigjaner. 148-155
- Temporal logic extended with object creation and destructionShin Miyakawa, Naoki Yonezaki. 156-163
- Structured hypertext for using and learning function point analysisAlain Abran, Jean-Marc Desharnais, Dirk Meyerhoff, Monika Müllerburg, D. St-Pierre. 164-171
- From software craft to software engineering: the Cleanroom methodPhilip A. Hausler, Richard C. Linger. 172-179
- A knowledge-based system for software quality analysisNadine Meskens. 180-187
- Learning to understand software from examples using cultural algorithmsRobert G. Reynolds, Elena Zannoni. 188-192
- Deducing structure in systems with separable user interfacesW. David Hurley. 193-200
- Extensions of GRAPES/4GL for Windows style input/outputAudris Kalnins. 201-208
- Program text as hypertext: using program dependences for transient linkingJussi Koskinen, Jukka Paakki, Airi Salminen. 209-216
- Investigating formal specification of graphical interface design for an interactive constraint based resource allocation systemMary Zajicek, Ken W. Brownsley. 217-224
- Software merge: models and propertiesValdis Berzins. 225-232
- Recovering object classes and inheritance relationships from existing codeGerardo Canfora, Giuseppe A. Di Lucca, Maria Tortorella. 233-240
- Supporting multiple evolving compilersThomas Cheatham, Amr F. Fahmy, Dan C. Stefanescu. 241-248
- Modeling in strategic reengineeringStan Jarzabek, Wie Ming Lim. 249-256
- Timing analysis of real-time software systems using fuzzy time Petri netsJorge C. A. de Figueiredo, Angelo Perkusich, Shi-Kuo Chang. 257-266
- Saturated deductive systems for temporal specificationsRegimantas Pliuskevicius. 267-273
- A complete sequent calculus for a first order branching temporal logicJurate Sakalauskaite. 274-280
- A formal methodology for acquiring and representing knowledge from multiple expertsOsvaldo Cairó, Silvia Guardati, Tomhs Boom. 281-288
- Bag languages, concurrency, Horn logic programs, and linear logicDaniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich. 289-297
- Giving KBS an OO! - object-oriented techniques and KADSVeronique Farrell, Dave Riches, Stewart Tansley. 298-305
- Semantic query optimization by class reference reduction in object- oriented databasesSha Guo, Wei Sun, Naphtali Rishe, Yi Deng. 306-313
- Extending a temporal rule language with deontic operatorsJohn Krogstie, Guttorm Sindre. 314-321
- Rule firing with metarulesFrançois Pachet, Jean-François Perrot. 322-329
- Visualization and transformation of SGML knowledge representation structuresJuris Reinfelds, Karlis Kaugars. 330-335
- A pipeline CASE tool for database designNaphtali Rishe, Wei Sun. 336-343
- Belief: updating vs. combiningShengLi Shi, M. Elizabeth C. Hull, David A. Bell. 344-351
- Managing decision table knowledge in a relational database environmentJan Vanthienen, Geert Wets. 352-357
- Cooperation of KBS development environments and CASE environmentsA. Inkeri Verkamo. 358-365
- Developing well-structured knowledge-based systemsMette Vestli, Inge Nordbø, Arne Sølvberg. 366-373
- A functional specification of reusing software componentsJohn van den Elst, Frank van Harmelen, Guus Schreiber, Monique Thonnat. 374-381
- Knowledge based support for reuseM. Ramachandran. 382-386
- Measuring similarity between software artifactsGeorge Spanoudakis, Panos Constantopoulos. 387-394
- Associative program retrieval using partially-ordered behavioral abstractions of a programHideaki Suzuki, Naohisa Takahashi. 395-404
- Open architecture for a process-centered development environmentFabio Abbattista, Filippo Lanubile, Giuseppe Visaggio. 405-413
- Symbolic execution of logic programsTimothy Arndt, Angela Guercio, Giuliano Pacini, Genny Tortora. 414-421
- Reliability determination of Prolog programsAlireza Azem, Fevzi Belli. 422-429
- A test environment for PrologFevzi Belli, Oliver Jack. 430-437
- A visual logic specification of flexible manufacturing systemsH. Lewis Chau, K. Gary Chan. 438-445
- Design and implementation of a knowledge based BPA/BPR tool: EUOBFEYigang Chen, Yutaka Usuda. 446-453
- DocFlow: an event-driven visual programming environment for office automation through document processingSteve C. Y. Chiang, Jason Tsong-Li Wang, Michael P. Bieber, Peter A. Ng. 454-461
- Program parallelization in WSDWAndrea De Lucia, C. Di Cristo, Genny Tortora, Maurizio Tucci. 462-469
- CAProDel: a system for computer aided program developmentBarbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj. 470-477
- A similarity measure for retrieving software artifactsM. R. Girardi, Bertrand Ibrahim. 478-485
- Procedure handling in computer aided program developmentJanusz Jablonowski, Ewa Madalinska-Bugaj. 486-492
- Rule-enhanced Petri nets for software process modelingBernd J. Krämer. 493-500
- Suggestions for progress in software analysis, synthesis and certificationLuqi, Joseph A. Goguen. 501-507
- Applicability of McCabe s complexity metric to knowledge engineering productsEdmundo Tovar. 508-515
- Specification reuse for safety-critical softwareClaire P. Willis, Derek J. Paddon. 516-523
- A deductive program transformation systemPhillip C.-Y. Sheu, Song Bong Yoo. 524-531