The SCEAS System
Navigation Menu

Conferences in DBLP

Automated Software Engineering (ASE) (kbse)
1999 ()

  1. David F. Redmiles
    Can Model Checking Scale to Software? (Panel). [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:2- [Conf]
  2. John Penix
    Evaluation of Automated Software Engineering Systems? (Panel). [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:3- [Conf]
  3. Michael A. Copenhafer, Kevin J. Sullivan
    Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:7-14 [Conf]
  4. Luiz Eduardo Galvão Martins, Beatriz Mascia Daltrini
    An Approach to Software Requirements Elicitation Using the Precepts from Activity Theory. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:15-23 [Conf]
  5. Amir Michail
    Data Mining Library Reuse Patterns in User-Selected Applications. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:24-0 [Conf]
  6. Keith E. Williamson, Michael Healy
    Industrial Applications of Software Synthesis via Category Theory. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:35-43 [Conf]
  7. Jamie Stark, Andrew Ireland
    Towards Automatic Imperative Program Synthesis Through Proof Planning. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:44-51 [Conf]
  8. Bernd Fischer, Jon Whittle
    An Integration of Deductive Retrieval into Deductive Synthesis. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:52-0 [Conf]
  9. Martin S. Feather, Benjamin D. Smith
    Automatic Generation of Test Oracles-From Pilot Studies to Application. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:63-72 [Conf]
  10. Cédric Besse, Ana R. Cavalli, David Lee
    An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:73-80 [Conf]
  11. Arthur Alexander Reyes, Debra J. Richardson
    Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:81-0 [Conf]
  12. Hassen Saïdi
    Modular and Incremental Analysis of Concurrent Software Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:92-101 [Conf]
  13. Prasanta K. Bose
    Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:102-109 [Conf]
  14. Frédéric Goualard, Frédéric Benhamou
    A Visualization Tool for Constraint Program Debugging. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:110-0 [Conf]
  15. Charles Pecheur
    Advanced Modelling and Verification Techniques Applied to a Cluster File System. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:119-126 [Conf]
  16. Colin O'Halloran, Alf Smith
    Verification of Picture Generated Code. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:127-136 [Conf]
  17. Ali Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed
    Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:137-0 [Conf]
  18. Ted J. Biggerstaff
    Fixing Some Transformation Problems. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:148-157 [Conf]
  19. Michael Poppleton, Richard Banach
    Retrenchment: Extending the Reach of Refinement. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:158-165 [Conf]
  20. Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
    An ML Editor Based on Proofs-As-Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:166-173 [Conf]
  21. Lance Tokuda, Don S. Batory
    Evolving Object-Oriented Designs with Refactorings. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:174-0 [Conf]
  22. David S. Wile
    AML: An Architecture Meta-Language. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:183-190 [Conf]
  23. Alexander Egyed, Cristina Gacek
    Automatically Detecting Mismatches During Component-based and Model-based Development. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:191-198 [Conf]
  24. Kurt Stirewalt
    Separating Concerns in Direct Manipulation User Interfaces. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:199-0 [Conf]
  25. Lydie du Bousquet, Nicolas Zuanon
    An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:208-215 [Conf]
  26. Dieter Kreuer
    Applying Test Automation to Type Acceptance Testing of Telecom Networks: A Case Study with Customer Participation. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:216-223 [Conf]
  27. Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
    UNA Based Iterative Test Data Generation and Its Evaluation. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:224-0 [Conf]
  28. John K. Kyaruzi, Jan van Katwijk
    Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:235-242 [Conf]
  29. Michael Stein, Mats Per Erik Heimdahl, John Riedl
    Enhancing Annotation Visibility for Software Inspection. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:243-246 [Conf]
  30. Enrico Tronci
    Automatic Synthesis of Control Software for an Industrial Automation Control System. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:247-250 [Conf]
  31. Jonathan I. Maletic, Naveen Valluri
    Automatic Software Clustering via Latent Semantic Analysis. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:251-254 [Conf]
  32. Johan Lilius, Ivan Paltor
    vUML: A Tool for Verifying UML Models. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:255-258 [Conf]
  33. Christopher A. Welty, David A. Ferrucci
    A Formal Ontology for Re-Use of Software Architecture Documents. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:259-262 [Conf]
  34. Walter Cazzola, Andrea Savigni, Andrea Sosio, Francesco Tisato
    Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:263-266 [Conf]
  35. Thomas Emerson, Mark H. Burstein
    Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:267-270 [Conf]
  36. Andreas Becks, Jörg Köller
    Automatically Structuring Textual Requirement Scenarios. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:271-274 [Conf]
  37. Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h
    UMLAUT: An Extendible UML Transformation Framework. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:275-278 [Conf]
  38. Dimitur Nikolaev Krustev
    Software Test Generation Using Refinement Types. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:279-282 [Conf]
  39. Carine Fédèle, Emmanuel Kounalis
    Automatic Proofs of Properties of Simple C-- Modules. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:283-286 [Conf]
  40. Gabriele Taentzer, Michael Goedicke, Torsten Meyer
    Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:287-290 [Conf]
  41. Robert Waters, Spencer Rugaber, Gregory D. Abowd
    Architectural Element Matching Using Concept Analysis. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:291-294 [Conf]
  42. Norbert E. Fuchs, Uta Schwertel, Sunna Torge
    Controlled Natural Language Can Replace First-Order Logic. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:295-298 [Conf]
  43. Samuel Devulder, Jean-Luc Lambert
    A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:299-302 [Conf]
  44. Peter Henderson, Robert John Walters
    Component-based Systems as an Aid to Design Validation. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:303-306 [Conf]
  45. Thierry Miceli, Houari A. Sahraoui, Robert Godin
    A Metric Based Technique for Design Flaws Detection and Correction. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:307-310 [Conf]
  46. John Penix
    Deductive Synthesis of Event-Based Software Architectures. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:311-314 [Conf]
  47. Michael W. Whalen, Mats Per Erik Heimdahl
    An Approach to Automatic Code Generation for Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:315-318 [Conf]
  48. Stephen H. Brackin
    Implementing Effective Automatic Cryptographic Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:319-322 [Conf]
  49. Sridevi Lingamarla, Gautam B. Singh, John Limburg, Mary Watson, Gary Edwards, Scott Gobrogge
    System for Automated Validation of Embedded Software in Multiple Operating Configurations. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:323-326 [Conf]
  50. Prasanta K. Bose, Mark G. Matthews
    NAVCo: Negotiation-based Adaptive View Coordination. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:327-330 [Conf]
  51. Chang Liu, Debra J. Richardson
    Towards Discovery, Specification, and Verification of Component Usage. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:331-334 [Conf]
  52. J. William Murdock, Ashok K. Goel
    Towards Adaptive Web Agents. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:335-338 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002