Conferences in DBLP
Wladyslaw M. Turski Essay on Software Engineering at the Turn of Century. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Mark Soley Memex Is Not Enough. [Citation Graph (0, 0)][DBLP ] Conf ] David Harel From Play-In Scenarios to Code: An Achievable Dream. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Z. Kolano , Richard A. Kemmerer , Dino Mandrioli Parallel Refinement Mechanisms for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Sühl Applying RT-Z to Develop Safety-Critical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Dierks A Process Algebra for Real-Time Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanna Dondossola , Oliver Botti System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Lano , Kelly Androutsopoulos , David Clark Structuring and Design of Reactive Systems Using RSDS and B. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Anlauff , Philipp W. Kutter , Alfonso Pierantonio , Asuman Sünbül Using Domain-Specific Languages for the Realization of Component Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Gianna Reggio , Egidio Astesiano , Christine Choppy , Heinrich Hußmann Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. [Citation Graph (0, 0)][DBLP ] Conf ] José Hernández-Orallo , M. José Ramírez-Quintana Software as Learning: Quality Factors and Life-Cycle Revised. [Citation Graph (0, 0)][DBLP ] Conf ] Hidetaka Kondoh What Is `Mathematicalness' in Software Engineering? [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Egyed , Nenad Medvidovic A Formal Approach to Heterogeneous Software Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Gunnar Övergaard Formal Specification of Object-Oriented Meta-modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Kees Huizing , Ruurd Kuiper Verification of Object Oriented Programs Using Class Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Pablo Gruer , Vincent Hilaire , Abder Koukam Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Torsten Nelson , Donald D. Cowan , Paulo S. C. Alencar A Model for Describing Object-Oriented Systems from Multiple Perspectives. [Citation Graph (0, 0)][DBLP ] Conf ] Julia Padberg , Kathrin Hoffmann , Magdalena Gajewsky Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Françoise Bellegarde , Jacques Julliand , Olga Kouchnarenko Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. [Citation Graph (0, 0)][DBLP ] Conf ] Marieke Huisman , Bart Jacobs Java Program Verification via a Hoare Logic with Abrupt Termination. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Parisi-Presicce , Alexander L. Wolf Foundations for Software Configuration Management Policies Using Graph Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fradet , Valérie Issarny , Siegfried Rouvrais Analyzing Non-functional Properties of Mobile Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Heike Wehrheim Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Hune , Anders Sandholm A Case Study on Using Automata in Control Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Balser , Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel , Andreas Thums Formal System Development with KIV. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Lüth , Burkhart Wolff More About TAS and IsaWin - Tools for Formal Program Development. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Clavel , Francisco Durán , Steven Eker , Patrick Lincoln , Narciso Martí-Oliet , José Meseguer , Jose F. Quesada Using Maude. [Citation Graph (0, 0)][DBLP ] Conf ] 