Conferences in DBLP
S. K. Chang Visual Communications. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Peter Holm The COMMODIOUS method - COMmunication MODelling as an aid to Illustrate the Organisational Use of Software. [Citation Graph (0, 0)][DBLP ] Conf ] Marite Kirikova , Janis A. Bubenko Jr. Software requirements acquisition through enterprise modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Colette Rolland A contextual approach for the requirements engineering process. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Salah Badr , Luqi Automation support for concurrent software engineering. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Pearl Brereton , Paul Singleton A deductive infrastructure for exploratory software evolution. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Dieter Landes DesignKARL - A language for the design of knowledge-based systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sooyong Park , James D. Palmer Automated support to system modeling from informal software requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Henrikas Pranevitchius , Vytautas Pilkauskas Tools for validation and simulation of Estelle/Ag specifications. [Citation Graph (0, 0)][DBLP ] Conf ] L. Ben Arfa , Marc Frappier , Rym Mili , Ali Mili , Douglas R. Skuce A process for verification based inspections. [Citation Graph (0, 0)][DBLP ] Conf ] Mikhail Auguston A language for debugging automation. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Zhu , Patrick A. V. Hall , John H. R. May Knowledge engineering helps testing protection software. [Citation Graph (0, 0)][DBLP ] Conf ] Aida Pliuskeviciene Specialization of derivations in Hoare-like logic with recursive procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Perry Alexander Combining transformational and derivational analogy in Larch specification generation. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Durante , Riccardo Sisto , Adriano Valenzano A LOTOS specification of the SERCOS field-bus protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Jackson , Albert Llamosi , Ramón Puigjaner Towards automatic building of performance models: Formal specification of performance constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Shin Miyakawa , Naoki Yonezaki Temporal logic extended with object creation and destruction. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Philip A. Hausler , Richard C. Linger From software craft to software engineering: the Cleanroom method. [Citation Graph (0, 0)][DBLP ] Conf ] Nadine Meskens A knowledge-based system for software quality analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Robert G. Reynolds , Elena Zannoni Learning to understand software from examples using cultural algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] W. David Hurley Deducing structure in systems with separable user interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Audris Kalnins Extensions of GRAPES/4GL for Windows style input/output. [Citation Graph (0, 0)][DBLP ] Conf ] Jussi Koskinen , Jukka Paakki , Airi Salminen Program text as hypertext: using program dependences for transient linking. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Valdis Berzins Software merge: models and properties. [Citation Graph (0, 0)][DBLP ] Conf ] Gerardo Canfora , Giuseppe A. Di Lucca , Maria Tortorella Recovering object classes and inheritance relationships from existing code. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Cheatham , Amr F. Fahmy , Dan C. Stefanescu Supporting multiple evolving compilers. [Citation Graph (0, 0)][DBLP ] Conf ] Stan Jarzabek , Wie-Ming Lim Modeling in strategic reengineering. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Regimantas Pliuskevicius Saturated deductive systems for temporal specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Jurate Sakalauskaite A complete sequent calculus for a first order branching temporal logic. [Citation Graph (0, 0)][DBLP ] Conf ] Osvaldo Cairó , Silvia Guardati , Tomhs Boom A formal methodology for acquiring and representing knowledge from multiple experts. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Veronique Farrell , Dave Riches , Stewart Tansley Giving KBS an OO! - object-oriented techniques and KADS. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] John Krogstie , Guttorm Sindre Extending a temporal rule language with deontic operators. [Citation Graph (0, 0)][DBLP ] Conf ] François Pachet , Jean-François Perrot Rule firing with metarules. [Citation Graph (0, 0)][DBLP ] Conf ] Juris Reinfelds , Karlis Kaugars Visualization and transformation of SGML knowledge representation structures. [Citation Graph (0, 0)][DBLP ] Conf ] Naphtali Rishe , Wei Sun A pipeline CASE tool for database design. [Citation Graph (0, 0)][DBLP ] Conf ] ShengLi Shi , M. Elizabeth C. Hull , David A. Bell Belief: updating vs. combining. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Vanthienen , Geert Wets Managing decision table knowledge in a relational database environment. [Citation Graph (0, 0)][DBLP ] Conf ] A. Inkeri Verkamo Cooperation of KBS development environments and CASE environments. [Citation Graph (0, 0)][DBLP ] Conf ] Mette Vestli , Inge Nordbø , Arne Sølvberg Developing well-structured knowledge-based systems. [Citation Graph (0, 0)][DBLP ] Conf ] John van den Elst , Frank van Harmelen , Guus Schreiber , Monique Thonnat A functional specification of reusing software components. [Citation Graph (0, 0)][DBLP ] Conf ] M. Ramachandran Knowledge based support for reuse. [Citation Graph (0, 0)][DBLP ] Conf ] George Spanoudakis , Panos Constantopoulos Measuring similarity between software artifacts. [Citation Graph (0, 0)][DBLP ] Conf ] Hideaki Suzuki , Naohisa Takahashi Associative program retrieval using partially-ordered behavioral abstractions of a program. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Abbattista , Filippo Lanubile , Giuseppe Visaggio Open architecture for a process-centered development environment. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy Arndt , Angela Guercio , Giuliano Pacini , Genny Tortora Symbolic execution of logic programs. [Citation Graph (0, 0)][DBLP ] Conf ] Alireza Azem , Fevzi Belli Reliability determination of Prolog programs. [Citation Graph (0, 0)][DBLP ] Conf ] Fevzi Belli , Oliver Jack A test environment for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] H. Lewis Chau , K. Gary Chan A visual logic specification of flexible manufacturing systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yigang Chen , Yutaka Usuda Design and implementation of a knowledge based BPA/BPR tool: EUOBFE. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Andrea De Lucia , C. Di Cristo , Genny Tortora , Maurizio Tucci Program parallelization in WSDW. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Dunin-Keplicz , Janusz Jablonowski , Witold Lukaszewicz , Ewa Madalinska-Bugaj CAProDel: a system for computer aided program development. [Citation Graph (0, 0)][DBLP ] Conf ] M. R. Girardi , Bertrand Ibrahim A similarity measure for retrieving software artifacts. [Citation Graph (0, 0)][DBLP ] Conf ] Janusz Jablonowski , Ewa Madalinska-Bugaj Procedure handling in computer aided program development. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd J. Krämer Rule-enhanced Petri nets for software process modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Luqi , Joseph A. Goguen Suggestions for progress in software analysis, synthesis and certification. [Citation Graph (0, 0)][DBLP ] Conf ] Edmundo Tovar Applicability of McCabe's complexity metric to knowledge engineering products. [Citation Graph (0, 0)][DBLP ] Conf ] Claire P. Willis , Derek J. Paddon Specification reuse for safety-critical software. [Citation Graph (0, 0)][DBLP ] Conf ] Phillip C.-Y. Sheu , Song Bong Yoo A deductive program transformation system. [Citation Graph (0, 0)][DBLP ] Conf ] 