16. ASE 2001:
San Diego,
CA,
USA
16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA.
IEEE Computer Society 2001, ISBN 0-7695-1426-X BibTeX
@proceedings{DBLP:conf/kbse/2001,
title = {16th IEEE International Conference on Automated Software Engineering
(ASE 2001), 26-29 November 2001, Coronado Island, San Diego,
CA, USA},
booktitle = {ASE},
publisher = {IEEE Computer Society},
year = {2001},
isbn = {0-7695-1426-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Regular Papers
Testing I
Transformation/Construction I
- John C. Grundy, Rick Mugridge, John G. Hosking, Paul Kendall:
Generating EDI Message Translations from Visual Specifications.
35-42
Electronic Edition (link) BibTeX
- Ewen Denney:
The Synthesis of a Java Card Tokenization Algorithm.
43-50
Electronic Edition (link) BibTeX
- Hoda Fahmy, Richard C. Holt, James R. Cordy:
Wins and Losses of Algebraic Transformations of Software Architectures.
51-62
Electronic Edition (link) BibTeX
- Colin O'Halloran:
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance.
63-70
Electronic Edition (link) BibTeX
- Robert J. Hall:
Specification Modeling and Validation Applied to a Family of Network Security Products.
71-80
Electronic Edition (link) BibTeX
- Michael R. Lowry, Thomas Pressburger, Grigore Rosu:
Certifying Domain-Specific Policies.
81-90
Electronic Edition (link) BibTeX
- Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville:
Automated Validation of Software Models.
91-
Electronic Edition (link) BibTeX
Structure
Testing II
Transformation/Construction II
Analysis/Real Time
Reverse Engineering and Integration
Model Checking
Specification and Model Engineering
Short Papers
- Andrew Cook, Andrew Ireland, Greg Michaelson:
Higher Order Function Synthesis Through Proof Planning.
307-310
Electronic Edition (link) BibTeX
- Gilles Ardourel, Marianne Huchard:
AGATE, Access Graph-Based Tools for Handling Encapsulation.
311-314
Electronic Edition (link) BibTeX
- Wuwei Shen, Kevin J. Compton, James Huggins:
A UML Validation Toolset Based on Abstract State Machines.
315-318
Electronic Edition (link) BibTeX
- Lars-Åke Fredlund, Dilian Gurov, Thomas Noll:
Semi-Automated Verification of Erlang Code.
319-323
Electronic Edition (link) BibTeX
- Alex Blewitt, Alan Bundy, Ian Stark:
Automatic Verification of Java Design Patterns.
324-327
Electronic Edition (link) BibTeX
- Raimondas Lencevicius, Edu Metz, Alexander Ran:
Tracing Execution of Software for Design Coverage.
328-332
Electronic Edition (link) BibTeX
- Fei Xie, Vladimir Levin, James C. Browne:
Model Checking for an Executable Subset of UML.
333-336
Electronic Edition (link) BibTeX
- James M. Bieman, Sudipto Ghosh, Roger T. Alexander:
A Technique for Mutation of Java Objects.
337-340
Electronic Edition (link) BibTeX
- K. Suzanne Barber, Thomas J. Graser, Jim Holt:
Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures.
341-345
Electronic Edition (link) BibTeX
- Paola Inverardi, Henry Muccini, Patrizio Pelliccione:
Automated Check of Architectural Models Consistency Using SPIN.
346-349
Electronic Edition (link) BibTeX
- Apostolos Zarras, Valérie Issarny:
Automating the Performance and Reliability Analysis of Enterprise Information Systems.
350-353
Electronic Edition (link) BibTeX
- Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer:
An Analysis-Revision Cycle to Evolve Requirements Specifications.
354-358
Electronic Edition (link) BibTeX
- Andrea Zisman, Alexander Kozlenkov:
Knowledge Base Approach to Consistency Management of UML Specification.
359-363
Electronic Edition (link) BibTeX
- Ioannis Parissis, Jérôme Vassy:
Strategies for Automated Specification-Based Testing of Synchronous Software.
364-367
Electronic Edition (link) BibTeX
- Iain McLaren, Tony Wicks:
Developing Generative Frameworks Using XML.
368-372
Electronic Edition (link) BibTeX
- Yannick Chevalier, Laurent Vigneron:
A Tool for Lazy Verification of Security Protocols.
373-376
Electronic Edition (link) BibTeX
- Bruno Legeard, Fabien Peureux:
Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study.
377-381
Electronic Edition (link) BibTeX
- Tevfik Bultan, Tuba Yavuz-Kahveci:
Action Language Verifier.
382-386
Electronic Edition (link) BibTeX
- Alexander Egyed:
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach.
387-390
Electronic Edition (link) BibTeX
- Tim Menzies, James D. Kiper:
Better Reasoning About Software Engineering Activities.
391-394
Electronic Edition (link) BibTeX
- Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat:
Amphion/NAV: Deductive Synthesis of State Estimation Software.
395-399
Electronic Edition (link) BibTeX
- Martin Erwig:
Programs Are Abstract Data Types.
400-403
Electronic Edition (link) BibTeX
- Gerald C. Gannod, Sunil Gupta:
An Automated Tool for Analyzing Petri Nets Using SPIN.
404-407
Electronic Edition (link) BibTeX
- Jan Jürjens, Guido Wimmel:
Formally Testing Fail-Safety of Electronic Purse Protocols.
408-411
Electronic Edition (link) BibTeX
- Dimitra Giannakopoulou, Klaus Havelund:
Automata-Based Verification of Temporal Properties on Running Programs.
412-416
Electronic Edition (link) BibTeX
- Dieter Hutter, Axel Schairer:
Towards an Evolutionary Formal Software Development.
417-420
Electronic Edition (link) BibTeX
- Brad Long, Daniel Hoffman, Paul A. Strooper:
A Concurrency Test Tool for Java Monitors.
421-425
Electronic Edition (link) BibTeX
- Luis Filipe Andrade, José Luiz Fiadeiro, Michel Wermelinger:
Enforcing Business Policies Through Automated Reconfiguration.
426-
Electronic Edition (link) BibTeX
Doctoral Symposium Abstracts
Copyright © Sat May 16 23:27:52 2009
by Michael Ley (ley@uni-trier.de)
