Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mehdi Jazayeri, Helmut Schauer (eds.) |
Software Engineering - ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings |
ESEC |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Landes, Rudi Studer |
The Treatment of Non-Functional Requirements in MIKE. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | François Bancilhon |
Why We Need Object Databases (Abstract). |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Javier Tuya, Luciano Sánchez, José A. Corrales |
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | A. T. Chamillard |
An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence G. Votta, Mary L. Zajak |
Design Process Improvement Case Study Using Process Waiver Data. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Kai Koskimies, Hanspeter Mössenböck |
Designing a Framework by Stepwise Generalization. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Harald C. Gall, René Klösch, Roland T. Mittermeir |
Object-Oriented Re-Architecturing. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Wilhelm Schäfer, Pere Botella (eds.) |
5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, Proceedings |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Kuo-Chung Tai, Richard H. Carver |
A Specification-Based Methology for Testing Concurrent Programs. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Naser S. Barghouti, Eleftherios Koutsofios, Edith Cohen |
Improvise: Interactive Multimedia Process Visualization Environment. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alan W. Brown, David J. Carney, Paul C. Clements, B. Craig Meyers, Dennis B. Smith, Nelson H. Weiderman, William G. Wood |
Assessing the Quality of Large, Software-Intensive Systems: A Case Study. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andy Schürr, Andreas J. Winter 0001, Albert Zündorf |
Graph Grammar Engineering with PROGRES. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Masao J. Matsumoto |
Quantitative Evaluations of Software Built in with Domain-specific Disciplines. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Günter Graw, Volker Gruhn |
Distributed Modeling and Distributed Enaction of Business Processes. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martin Glinz |
An Integrated Formal Model of Scenarios Based on Statecharts. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maritta Heisel, Thomas Santen, Dominik Zimmermann |
Tool Support for Formal Software Development: A Generic Architecture. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hitz, Behzad Montazeri |
Measuring Product Attributes of Object-Oriented Systems. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Núria Castell, Olga Slavkova |
Metrics for Quality Factors in the LESD Project. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ian Warren, Ian Sommerville |
Dynamic Configuration Abstraction. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer |
Specifying Distributed Software Architectures. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Craig Gaskell, Roger Phillips |
A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli |
A Formal Framework for ASTRAL Inter-level Proof Obligations. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Watts S. Humphrey |
A Personal Commitment to Software Quality. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Schwärtzel |
Demands and Perspectives for Future Software Engineers: An Industrial Viewpoint (Abstract). |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Alan T. Yaung |
The Impact of Incremental Delivery on Maintenance Effort: An Analytical Study. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Simon R. Monk, Ian Sommerville, Jean Michel Pendaries, Bernard Durin |
Supporting Design Rationale for System Evolution. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi Jazayeri |
Component Programming - a Fresh Look at Software Components. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yih-Farn Chen, Balachander Krishnamurthy, Kiem-Phong Vo |
An Objective Reuse Metric: Model and Methology. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Zeller, Gregor Snelting |
Handling Version Sets Through Feature Logic. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Valderruten Vidal, Manuel Vilares Ferro, Jorge Graña Gil |
Instrumentation of Synchronous Reactive Models for Performance Engineering. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stan Jarzabek |
PQL: A Language for Specifying Abstract Program Views. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Tim A. Wagner, Susan L. Graham |
Integrating Incremental Analysis with Version Management. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Erik Kamsties, Christopher M. Lott |
An Empirical Evaluation of Three Defect-Detection Techniques. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Javier Tuya, Luciano Sánchez, R. Zurita, José A. Corrales |
A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Harald Eggers |
Software Technology for a Distributed Telecommunication System. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ulf Cederling |
Industrial Software Development - A Case Study. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dewayne E. Perry, Carol S. Stieg |
Software Faults in Evolving a Large, Real-Time System: a Case Study. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Claude Godart |
COO: A Transaction Model to Support COOperating Software Developers COOrdination. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Michael von der Beeck |
Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Balachander Krishnamurthy, Naser S. Barghouti |
Provence: A Process Visualisation and Enactment Environment. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Christian Breiteneder, Thomas A. Mück |
Process Programming with Active and Passive Components. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Hagelstein, Dominique Roelants, Pierre L. Wodon |
Formal Requirements Made Practical. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ian Sommerville, Manfred Paul (eds.) |
Software Engineering - ESEC '93, 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993, Proceedings |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | David Harel |
Computers are not Omnipotent (Abstract). |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh |
Inconsistency Handling in Multi-Perspective Specifications. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Harald C. Gall, René Klösch |
Capsule Oriented Reverse Engineering for Software Reuse. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Shing-Chi Cheung, Jeff Kramer |
Tractable Flow Analysis for Anomaly Detection in Distributed Programs. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Ghezzi, Miguel Felder, Carlo Bellettini |
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jun-Jang Jeng, Betty H. C. Cheng |
Using Formal Methods to Construct a Software Component Library. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Victor R. Basili |
The Experience Factory and its Relationship to Other Improvement Paradigms. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Chunnian Liu, Reidar Conradi |
Automatic Replanning of Task Networks for Process Model Evolution in EPOS. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | 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 0001, Neil A. M. Maiden, David Till, Yannis Vassiliou, Panos Constantopoulos, George Spanoudakis |
Requirements Engineering: An Integrated View of Representation, Process, and Domain. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | François Bourdoncle |
Assertion-based Debugging of Imperative Programs by Abstract Interpretation. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Alfred Aue, Michael Breu |
Distributed Information Systems: An Advanced Methology. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Flavio De Paoli, Francesco Tisato |
Language Constructs for Cooperative Systems Design. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ian Thomas |
Observations on Object Management Systems and Process Support in Environments. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Adams |
An Experiment in Software Retrieval. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Annie Kuntzmann-Combelles |
Quantitative Approach to Software Management: the ami Method. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Emmerich, Wilhelm Schäfer, Jim Welsh |
Databases for Software Engineering Environments - The Goal has not yet been attained. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Denert |
Software Engineering in Business and Academia: How Wide is the Gap? |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Reichardt |
Preventative Software Engineering. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | John N. Buxton |
On the Decline of Classical Programming. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | David W. Bustard, Adam C. Winstanley |
Making Changes to Formal Specifications: Requirements and an Example. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Alan W. Brown, Edwin J. Morris, Paul F. Zarrella |
Experiences with a Federated Environment Testbed. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Lulu Liu, David J. Robson, Rod Ellis |
A Regression Testing Database Model. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Coen-Porisini, Dino Mandrioli |
A Formal Framework for ASTRAL Intra-Level Proof Obligations. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | John Gintell, John E. Arnold, Michael Houde, Jacek Kruszelnicki, Roland McKenney, Gérard Memmi |
Scrutiny: A Collaborative Inspection and Review System. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Wolf E. Fischer |
CASE Seen From Both Sides of the Fence. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Amador, Belén de Vicente, Alejandro Alonso 0001 |
Dynamically Replaceable Software: A Design Method. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Axel van Lamsweerde, Alfonso Fuggetta (eds.) |
ESEC '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Finkelstein |
A (Neat) Alphabet of Requirements Engineering Issues. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Christer Fernström |
The Eureka Software Factory: Concepts and Accomplishments. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Richard W. Selby, R. Kent Madsen |
Metric-Driven Classification Analysis. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Peter Hruschka |
CASE Support for the Software Process. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Dick Schefström |
The Arcs Experience. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Lang |
CASE Support for the Software Process: Advances and Problems. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Denis Creusot, Philippe Lemoine, Olivier F. Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales |
Execution Environment for ELECTRE Applications. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Robert Troy |
Impact of Methods on Productivity and Quality. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Martin S. Feather |
Requirements Engineering - Getting Right from Wrong. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Kramer |
CASE Support for the Software Process: A Research Viewpoint. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Dave Robinson |
CASE Support for Large Systems. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Valente Frasca |
The Production of Software in the FINSIEL Group. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Frank van der Linden 0001 |
Specification in COLD-1 of a CAD-Package for Drawing Shadow Masks. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Cattel |
Rational Design of Distributed Applications. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Rozman, József Györkös, Tomaz Dogsa |
Relation Between Source Code Metrics and Structure Analysis Metrics. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Naser S. Barghouti, Gail E. Kaiser |
Scaling Up Rule-Based Software Development Environments. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Tim Collins, Kevin Ewert, Colin Gerety, Jon Gustafson, Ian Thomas |
Tickle: Object-Oriented Description and Composition Services for Software Engineering Environments. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Snelting, Franz-Josef Grosch, Ulrik Schroeder |
Inference-Based Support for Programming in the Large. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Martin J. Shepperd, Darrel C. Ince |
Algebraic Validation of software Metrics. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh |
An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Dick, Jérôme Loubersac |
Integrating Structured and Formal Methods: A Visual Approach to VDM. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Hermann Kopetz, Ralph Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz |
An Engineering Approach to Hard Real-Time System Design. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Valdis Berzins |
Software Merge: Models and Methods for Combining Changes to Programs. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Colin Potts |
Expediency and Appropriate Technology: An Agenda for Requirements Engineering Research in the 1990s. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Stuart I. Feldman |
Software Configuration Management: Past Uses and Future Challenges. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Ghezzi, Richard A. Kemmerer |
ASTRAL: An Assertion Language for Specifying Realtime Systems. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Colin Tattersall |
Integrated Project Support Environments, Text Generation and Technical Writing. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Charles Jackson |
The Impact of Software Engineering Researches on Industrial Practice - a Personal View. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Joëlle Coutaz |
Architectural Design for User Interfaces. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|