Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th ASE 1999: Cocoa Beach, Florida, USA
- The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999. IEEE Computer Society 1999, ISBN 0-7695-0415-9
Panels
- David F. Redmiles:
Can Model Checking Scale to Software? (Panel). 2 - John Penix:
Evaluation of Automated Software Engineering Systems? (Panel). 3
Long Papers
Requirements and Reuse
- Michael A. Copenhafer, Kevin J. Sullivan:
Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties. 7-14 - Luiz Eduardo Galvão Martins, Beatriz Mascia Daltrini:
An Approach to Software Requirements Elicitation Using the Precepts from Activity Theory. 15-23 - Amir Michail:
Data Mining Library Reuse Patterns in User-Selected Applications. 24-
Synthesis
- Keith E. Williamson, Michael Healy:
Industrial Applications of Software Synthesis via Category Theory. 35-43 - Jamie Stark, Andrew Ireland:
Towards Automatic Imperative Program Synthesis Through Proof Planning. 44-51 - Bernd Fischer, Jon Whittle:
An Integration of Deductive Retrieval into Deductive Synthesis. 52-
Test Synthesis
- Martin S. Feather, Benjamin D. Smith:
Automatic Generation of Test Oracles-From Pilot Studies to Application. 63-72 - Cédric Besse, Ana R. Cavalli, David Lee:
An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. 73-80 - Arthur Alexander Reyes, Debra J. Richardson:
Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. 81-
Analysis
- Hassen Saïdi:
Modular and Incremental Analysis of Concurrent Software Systems. 92-101 - Prasanta K. Bose:
Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN. 102-109 - Frédéric Goualard, Frédéric Benhamou:
A Visualization Tool for Constraint Program Debugging. 110-
Verification
- Charles Pecheur:
Advanced Modelling and Verification Techniques Applied to a Cluster File System. 119-126 - Colin O'Halloran, Alf Smith:
Verification of Picture Generated Code. 127-136 - Ali Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed:
Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. 137-
Transformation
- Ted J. Biggerstaff:
Fixing Some Transformation Problems. 148-157 - Michael Poppleton, Richard Banach:
Retrenchment: Extending the Reach of Refinement. 158-165 - Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe:
An ML Editor Based on Proofs-As-Programs. 166-173 - Lance Tokuda, Don S. Batory:
Evolving Object-Oriented Designs with Refactorings. 174-
Architecture
- David S. Wile:
AML: An Architecture Meta-Language. 183-190 - Alexander Egyed, Cristina Gacek:
Automatically Detecting Mismatches During Component-based and Model-based Development. 191-198 - Kurt Stirewalt:
Separating Concerns in Direct Manipulation User Interfaces. 199-
Automated Testing
- Lydie du Bousquet, Nicolas Zuanon:
An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. 208-215 - Dieter Kreuer:
Applying Test Automation to Type Acceptance Testing of Telecom Networks: A Case Study with Customer Participation. 216-223 - Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa:
UNA Based Iterative Test Data Generation and Its Evaluation. 224-
Short Papers
- John J. Kyaruzi, Jan van Katwijk:
Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties. 235-242 - Michael Stein, Mats Per Erik Heimdahl, John Riedl:
Enhancing Annotation Visibility for Software Inspection. 243-246 - Enrico Tronci:
Automatic Synthesis of Control Software for an Industrial Automation Control System. 247-250 - Jonathan I. Maletic, Naveen Valluri:
Automatic Software Clustering via Latent Semantic Analysis. 251-254 - Johan Lilius, Ivan Paltor:
vUML: A Tool for Verifying UML Models. 255-258 - Christopher A. Welty, David A. Ferrucci:
A Formal Ontology for Re-Use of Software Architecture Documents. 259-262 - Walter Cazzola, Andrea Savigni, Andrea Sosio, Francesco Tisato:
Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level. 263-266 - Thomas Emerson, Mark H. Burstein:
Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications. 267-270 - Andreas Becks, Jörg Köller:
Automatically Structuring Textual Requirement Scenarios. 271-274 - Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h:
UMLAUT: An Extendible UML Transformation Framework. 275-278 - Dimitur Nikolaev Krustev:
Software Test Generation Using Refinement Types. 279-282 - Carine Fédèle, Emmanuel Kounalis:
Automatic Proofs of Properties of Simple C- Modules. 283-286 - Gabriele Taentzer, Michael Goedicke, Torsten Meyer:
Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems. 287-290 - Robert Waters, Spencer Rugaber, Gregory D. Abowd:
Architectural Element Matching Using Concept Analysis. 291-294 - Norbert E. Fuchs, Uta Schwertel, Sunna Torge:
Controlled Natural Language Can Replace First-Order Logic. 295-298 - Samuel Devulder, Jean-Luc Lambert:
A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. 299-302 - Peter Henderson, Robert John Walters:
Component-based Systems as an Aid to Design Validation. 303-306 - Thierry Miceli, Houari A. Sahraoui, Robert Godin:
A Metric Based Technique for Design Flaws Detection and Correction. 307-310 - John Penix:
Deductive Synthesis of Event-Based Software Architectures. 311-314 - Michael W. Whalen, Mats Per Erik Heimdahl:
An Approach to Automatic Code Generation for Safety-Critical Systems. 315-318 - Stephen H. Brackin:
Implementing Effective Automatic Cryptographic Protocol Analysis. 319-322 - Sridevi Lingamarla, Gautam B. Singh, John Limburg, Mary Watson, Gary Edwards, Scott Gobrogge:
System for Automated Validation of Embedded Software in Multiple Operating Configurations. 323-326 - Prasanta K. Bose, Mark G. Matthews:
NAVCo: Negotiation-based Adaptive View Coordination. 327-330 - Chang Liu, Debra J. Richardson:
Towards Discovery, Specification, and Verification of Component Usage. 331-334 - J. William Murdock, Ashok K. Goel:
Towards Adaptive Web Agents. 335-338
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 21:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
