Conferences in DBLP
J. N. Buxton On the Decline of Classical Programming. [Citation Graph (0, 0)][DBLP ] Conf ] David Harel Computers are not Omnipotent (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Ghezzi , Miguel Felder , Carlo Bellettini Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Ernst Denert Software Engineering in Business and Academia: How Wide is the Gap? [Citation Graph (0, 0)][DBLP ] Conf ] Dewayne E. Perry , Carol S. Stieg Software Faults in Evolving a Large, Real-Time System: a Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Victor R. Basili The Experience Factory and its Relationship to Other Improvement Paradigms. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Finkelstein , Dov M. Gabbay , Anthony Hunter , Jeff Kramer , Bashar Nuseibeh Inconsistency Handling in Multi-Perspective Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Jarke , Klaus Pohl , Stephan Jacobs , Janis A. Bubenko Jr. , Petia Assenova , Peter Holm , Benkt Wangler , Colette Rolland , Véronique Plihon , Jean-Roch Schmitt , Alistair G. Sutcliffe , Sara Jones , Neil A. M. Maiden , David Till , Yannis Vassiliou , Panos Constantopoulos , George Spanoudakis Requirements Engineering: An Integrated View of Representation, Process, and Domain. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Bustard , Adam C. Winstanley Making Changes to Formal Specifications: Requirements and an Example. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Hagelstein , Dominique Roelants , Pierre Wodon Formal Requirements Made Practical. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Emmerich , Wilhelm Schäfer , Jim Welsh Databases for Software Engineering Environments - The Goal has not yet been attained. [Citation Graph (2, 0)][DBLP ] Conf ] Lulu Liu , David J. Robson , Rod Ellis A Regression Testing Database Model. [Citation Graph (0, 0)][DBLP ] Conf ] Alan W. Brown , Edwin J. Morris , Paul F. Zarrella Experiences with a Federated Environment Testbed. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Thomas Observations on Object Management Systems and Process Support in Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Eggers Software Technology for a Distributed Telecommunication System. [Citation Graph (0, 0)][DBLP ] Conf ] Ulf Cederling Industrial Software Development - A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Annie Kuntzmann-Combelles Quantitative Approach to Software Management: the ami Method. [Citation Graph (0, 0)][DBLP ] Conf ] Johannes Reichardt Preventative Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Alfred Aue , Michael Breu Distributed Information Systems: An Advanced Methology. [Citation Graph (0, 0)][DBLP ] Conf ] Shing-Chi Cheung , Jeff Kramer Tractable Flow Analysis for Anomaly Detection in Distributed Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Tuya , Luciano Sánchez , R. Zurita , José A. Corrales A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Michael von der Beeck Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Flavio De Paoli , Francesco Tisato Language Constructs for Cooperative Systems Design. [Citation Graph (0, 0)][DBLP ] Conf ] John Gintell , John Arnold , Michael Houde , Jacek Kruszelnicki , Roland McKenney , Gérard Memmi Scrutiny: A Collaborative Inspection and Review System. [Citation Graph (0, 0)][DBLP ] Conf ] Claude Godart COO: A Transaction Model to Support COOperating Software Developers COOrdination. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Adams An Experiment in Software Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Jun-Jang Jeng , Betty H. C. Cheng Using Formal Methods to Construct a Software Component Library. [Citation Graph (1, 0)][DBLP ] Conf ] Harald Gall , René Klösch Capsule Oriented Reverse Engineering for Software Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Chunnian Liu , Reidar Conradi Automatic Replanning of Task Networks for Process Model Evolution in EPOS. [Citation Graph (0, 0)][DBLP ] Conf ] Balachander Krishnamurthy , Naser S. Barghouti Provence: A Process Visualisation and Enactment Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Breiteneder , Thomas A. Mück Process Programming with Active and Passive Components. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Coen-Porisini , Dino Mandrioli A Formal Framework for ASTRAL Intra-Level Proof Obligations. [Citation Graph (0, 0)][DBLP ] Conf ] François Bourdoncle Assertion-based Debugging of Imperative Programs by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] 