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