default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th SEKE 1994: Jurmala, Latvia
- SEKE'94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia. Knowledge Systems Institute 1994
Opening
- S. K. Chang:
Visual Communications. SEKE 1994: 1
Session 1: Requirements engineering
- Hany M. Atchan, Gordon C. Everest:
An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification. SEKE 1994: 2-9 - Peter Holm:
The COMMODIOUS method - COMmunication MODelling as an aid to Illustrate the Organisational Use of Software. SEKE 1994: 10-19 - Marite Kirikova, Janis A. Bubenko Jr.:
Software requirements acquisition through enterprise modelling. SEKE 1994: 20-27 - Colette Rolland:
A contextual approach for the requirements engineering process. SEKE 1994: 28-35
Session 2: Software development I
- Salwa K. Abd-El-Hafiz, Victor R. Basili:
A tool for assisting the understanding and formal development of software. SEKE 1994: 36-45 - Salah Badr, Luqi:
Automation support for concurrent software engineering. SEKE 1994: 46-53 - Janis Barzdins, Audris Kalnins, Karlis Podnieks, Ilona Etmane, Andrejs J. Auzins, A. Kalis, P. Krastins, S. Rozenfelds:
GRADE Windows: an integrated CASE tool for information system development. SEKE 1994: 54-61 - Pearl Brereton, Paul Singleton:
A deductive infrastructure for exploratory software evolution. SEKE 1994: 62-69
Session 3: Software development II
- Betty H. C. Cheng, Robert H. Bourdeau, Gerald C. Gannod:
The object-oriented development of a distributed multimedia environmental information system. SEKE 1994: 70-77 - Dieter Landes:
DesignKARL - A language for the design of knowledge-based systems. SEKE 1994: 78-85 - Sooyong Park, James D. Palmer:
Automated support to system modeling from informal software requirements. SEKE 1994: 86-93 - Henrikas Pranevitchius, Vytautas Pilkauskas:
Tools for validation and simulation of Estelle/Ag specifications. SEKE 1994: 94-99
Session 4: Tests, proofs, debugging
- Latifa Ben Arfa Rabai, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce:
A process for verification based inspections. SEKE 1994: 100-107 - Mikhail Auguston:
A language for debugging automation. SEKE 1994: 108-115 - Hong Zhu, Patrick A. V. Hall, John H. R. May:
Knowledge engineering helps testing protection software. SEKE 1994: 116-123 - Aida Pliuskeviciene:
Specialization of derivations in Hoare-like logic with recursive procedures. SEKE 1994: 124-130
Session 5: Specification methods
- Perry Alexander:
Combining transformational and derivational analogy in Larch specification generation. SEKE 1994: 131-138 - Luca Durante, Riccardo Sisto, Adriano Valenzano:
A LOTOS specification of the SERCOS field-bus protocol. SEKE 1994: 139-147 - Ken Jackson, Albert Llamosi, Ramón Puigjaner:
Towards automatic building of performance models: Formal specification of performance constraints. SEKE 1994: 148-155 - Shin Miyakawa, Naoki Yonezaki:
Temporal logic extended with object creation and destruction. SEKE 1994: 156-163
Session 6: Metrics and their use
- Alain Abran, Jean-Marc Desharnais, Dirk Meyerhoff, Monika Müllerburg, Denis St-Pierre:
Structured hypertext for using and learning function point analysis. SEKE 1994: 164-171 - Philip A. Hausler, Richard C. Linger:
From software craft to software engineering: the Cleanroom method. SEKE 1994: 172-179 - Nadine Meskens:
A knowledge-based system for software quality analysis. SEKE 1994: 180-187 - Robert G. Reynolds, Elena Zannoni:
Learning to understand software from examples using cultural algorithms. SEKE 1994: 188-192
Session 7: Visual aspects of software development
- W. David Hurley:
Deducing structure in systems with separable user interfaces. SEKE 1994: 193-200 - Audris Kalnins:
Extensions of GRAPES/4GL for Windows style input/output. SEKE 1994: 201-208 - Jussi Koskinen, Jukka Paakki, Airi Salminen:
Program text as hypertext: using program dependences for transient linking. SEKE 1994: 209-216 - Mary Zajicek, Ken W. Brownsley:
Investigating formal specification of graphical interface design for an interactive constraint based resource allocation system. SEKE 1994: 217-224
Session 8: Reengineering and concurrent engineering
- Valdis Berzins:
Software merge: models and properties. SEKE 1994: 225-232 - Gerardo Canfora, Giuseppe A. Di Lucca, Maria Tortorella:
Recovering object classes and inheritance relationships from existing code. SEKE 1994: 233-240 - Thomas E. Cheatham, Amr F. Fahmy, Dan C. Stefanescu:
Supporting multiple evolving compilers. SEKE 1994: 241-248 - Stan Jarzabek, Wie Ming Lim:
Modeling in strategic reengineering. SEKE 1994: 249-256
Session 9: Temporal aspects
- Jorge C. A. de Figueiredo, Angelo Perkusich, Shi-Kuo Chang:
Timing analysis of real-time software systems using fuzzy time Petri nets. SEKE 1994: 257-266 - Regimantas Pliuskevicius:
Saturated deductive systems for temporal specifications. SEKE 1994: 267-273 - Jurate Sakalauskaite:
A complete sequent calculus for a first order branching temporal logic. SEKE 1994: 274-280
Session 10: Data base and knowledge base methods I
- Osvaldo Cairó, Silvia Guardati, Tomhs Boom:
A formal methodology for acquiring and representing knowledge from multiple experts. SEKE 1994: 281-288 - Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich:
Bag languages, concurrency, Horn logic programs, and linear logic. SEKE 1994: 289-297 - Veronique Farrell, Dave Riches, Stewart Tansley:
Giving KBS an OO! - object-oriented techniques and KADS. SEKE 1994: 298-305 - Sha Guo, Wei Sun, Naphtali Rishe, Yi Deng:
Semantic query optimization by class reference reduction in object- oriented databases. SEKE 1994: 306-313
Session 11: Data base and knowledge base methods II
- John Krogstie, Guttorm Sindre:
Extending a temporal rule language with deontic operators. SEKE 1994: 314-321 - François Pachet, Jean-François Perrot:
Rule firing with metarules. SEKE 1994: 322-329 - Juris Reinfelds, Karlis Kaugars:
Visualization and transformation of SGML knowledge representation structures. SEKE 1994: 330-335 - Naphtali Rishe, Wei Sun:
A pipeline CASE tool for database design. SEKE 1994: 336-343
Session 12: Database and knowledge base methods III
- ShengLi Shi, M. Elizabeth C. Hull, David A. Bell:
Belief: updating vs. combining. SEKE 1994: 344-351 - Jan Vanthienen, Geert Wets:
Managing decision table knowledge in a relational database environment. SEKE 1994: 352-357 - A. Inkeri Verkamo:
Cooperation of KBS development environments and CASE environments. SEKE 1994: 358-365 - Mette Vestli, Inge Nordbø, Arne Sølvberg:
Developing well-structured knowledge-based systems. SEKE 1994: 366-373
Session 13: Software reuse
- John van den Elst, Frank van Harmelen, Guus Schreiber, Monique Thonnat:
A functional specification of reusing software components. SEKE 1994: 374-381 - M. Ramachandran:
Knowledge based support for reuse. SEKE 1994: 382-386 - George Spanoudakis, Panos Constantopoulos:
Measuring similarity between software artifacts. SEKE 1994: 387-394 - Hideaki Suzuki, Naohisa Takahashi:
Associative program retrieval using partially-ordered behavioral abstractions of a program. SEKE 1994: 395-404
Session 14: Advances in SE & KE
- Fabio Abbattista, Filippo Lanubile, Giuseppe Visaggio:
Open architecture for a process-centered development environment. SEKE 1994: 405-413 - Timothy Arndt, Angela Guercio, Giuliano Pacini, Genny Tortora:
Symbolic execution of logic programs. SEKE 1994: 414-421 - Alireza Azem, Fevzi Belli:
Reliability determination of Prolog programs. SEKE 1994: 422-429 - Fevzi Belli, Oliver Jack:
A test environment for Prolog. SEKE 1994: 430-437 - H. Lewis Chau, K. Gary Chan:
A visual logic specification of flexible manufacturing systems. SEKE 1994: 438-445 - Yigang Chen, Yutaka Usuda:
Design and implementation of a knowledge based BPA/BPR tool: EUOBFE. SEKE 1994: 446-453 - Steve C. Y. Chiang, Jason Tsong-Li Wang, Michael P. Bieber, Peter A. Ng:
DocFlow: an event-driven visual programming environment for office automation through document processing. SEKE 1994: 454-461 - Andrea De Lucia, C. Di Cristo, Genny Tortora, Maurizio Tucci:
Program parallelization in WSDW. SEKE 1994: 462-469 - Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj:
CAProDel: a system for computer aided program development. SEKE 1994: 470-477 - M. R. Girardi, Bertrand Ibrahim:
A similarity measure for retrieving software artifacts. SEKE 1994: 478-485 - Janusz Jablonowski, Ewa Madalinska-Bugaj:
Procedure handling in computer aided program development. SEKE 1994: 486-492 - Bernd J. Krämer:
Rule-enhanced Petri nets for software process modeling. SEKE 1994: 493-500 - Luqi, Joseph A. Goguen:
Suggestions for progress in software analysis, synthesis and certification. SEKE 1994: 501-507 - Edmundo Tovar:
Applicability of McCabe's complexity metric to knowledge engineering products. SEKE 1994: 508-515 - Claire P. Willis, Derek J. Paddon:
Specification reuse for safety-critical software. SEKE 1994: 516-523 - Phillip C.-Y. Sheu, Song Bong Yoo:
A deductive program transformation system. SEKE 1994: 524-531
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.
last updated on 2026-04-17 23:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
