The SCEAS System
Navigation Menu

Conferences in DBLP

Automated Software Engineering (ASE) (kbse)
1998 ()

  1. Angelo Morzenti, Pierluigi San Pietro, Sandro Morasca
    A Tool for Automated System Analysis based on Modular Specifications. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:2-11 [Conf]
  2. Virginie Wiels, Steve M. Easterbrook
    Management of Evolving Specifications using Category Theory. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:12-21 [Conf]
  3. Arthur Alexander Reyes, Debra J. Richardson
    Specification-based Testing of Ada Units with Low Encapsulation. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:22-31 [Conf]
  4. Yves Ledru
    Identifying Pre-Conditions with the Z/EVES Theorem Prover. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:32-0 [Conf]
  5. Raul Monroy, Alan Bundy, Ian Green
    Planning Equational Verification in CCS. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:43-52 [Conf]
  6. Colin O'Halloran, Alf Smith
    Don't Verify, Abstract! [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:53-62 [Conf]
  7. Hans-Arno Jacobsen, Bernd J. Krämer
    A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:63-0 [Conf]
  8. B. Fischer
    Specification-based Browsing of Software Component Libraries. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:74-83 [Conf]
  9. Yida Mao, Houari A. Sahraoui, Hakim Lounis
    Reusability Hypothesis Verification using Machine Learning Techniques: A Case Study. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:84-93 [Conf]
  10. Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng
    An Automated Approach for Supporting Software Reuse via Reverse Engineering. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:94-0 [Conf]
  11. T. L. McCluskey, Margaret Mary West
    Towards the Automated Debugging and Maintenance of Logic-based Requirements Models. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:105-114 [Conf]
  12. Robert J. Hall
    Explanation-based Scenario Generation for Reactive System Models. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:115-124 [Conf]
  13. Barbara J. Czerny, Mats Per Erik Heimdahl
    Automated Integrative Analysis of State-based Requirements. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:125-0 [Conf]
  14. Christoph C. Michael, Gary McGraw
    Automated Software Test Data Generation for Complex Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:136-146 [Conf]
  15. Jason McDonald, Daniel Hoffman, Paul A. Strooper
    Programmatic Testing of the Standard Template Library Containers. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:147-156 [Conf]
  16. J. Andrews
    Testing using Log File Analysis: Tools, Methods, and Issues. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:157-0 [Conf]
  17. Pierre Flener, Hamza Zidoum, Brahim Hnich
    Schema-Guided Synthesis of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:168-176 [Conf]
  18. Kurt Stirewalt, Spencer Rugaber
    Automating UI Generation by Model Composition. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:177-0 [Conf]
  19. Michael Goedicke, Torsten Meyer, C. Piwetz
    On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:188-191 [Conf]
  20. Stefan Leue, L. Mehrmann, Mohammad Rezai
    Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:192-195 [Conf]
  21. Kevin Gary, Timothy E. Lindquist, Harry Koehnemann, Jean-Claude Derniame
    Component-based Software Process Support. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:196-199 [Conf]
  22. Amir Michail, David Notkin
    Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:200-203 [Conf]
  23. Richard Clayton, Spencer Rugaber, Linda M. Wills
    Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:204-0 [Conf]
  24. Richard F. Paige, Jonathan S. Ostroff
    From Z to BON/Eiffel. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:209-212 [Conf]
  25. E. Lee, C. Park, D. Lee
    Detection of Exclusive OR Global Predicates. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:213-216 [Conf]
  26. Joseph Gil, Y. Eckel
    Statically Checkable Design Level Traits. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:217-220 [Conf]
  27. Theodosis Dimitrakos
    Parameterising (Algebraic) Specifications on Diagrams. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:221-224 [Conf]
  28. Stefan Berner, Stefan Joos, Martin Glinz, Martin Arnold
    A Visualization Concept for Hierarchical Object Models. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:225-0 [Conf]
  29. Ali Erdem, W. Lewis Johnson, Stacy Marsella
    Task Oriented Software Understanding. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:230-239 [Conf]
  30. Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger
    Explaining Synthesized Software. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:240-248 [Conf]
  31. Kevin Templer, Clinton L. Jeffery
    A Configurable Automatic Instrumentation Tool for ANSI C. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:249-0 [Conf]
  32. Armando Martin Haeberer, T. S. E. Maibaum
    The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:260-271 [Conf]
  33. Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold
    Planware - Domain-Specific Synthesis of High-Performance Schedulers. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:270-0 [Conf]
  34. James Miller, Fraser MacDonald
    ASSISTing Exit Decisions in Software Inspection. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:281-284 [Conf]
  35. Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid
    An Automated Framework for Structural Test-Data Generation. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:285-288 [Conf]
  36. Juei Chang, Debra J. Richardson
    ADLscope: An Automated Specification-based Unit Testing Tool. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:289-292 [Conf]
  37. R. Mark Greenwood, Brian Warboys, Rachel Harrison, Peter Henderson
    An Empirical Study of the Evolution of a Software System. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:293-296 [Conf]
  38. Jean-Marc Andreoli, Christer Fernström, Jean-Luc Meunier
    A Coordination System Approach to Software Workflow Process Evolution. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:297-0 [Conf]
  39. Daniel Hazel, Paul A. Strooper, Owen Traynor
    Requirements Engineering and Verification using Specification Animation. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:302-305 [Conf]
  40. E. Baisch, T. Liedtke
    Automated Knowledge Acquisition and Application for Software Development Projects. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:306-309 [Conf]
  41. Andrew Walenstein
    Developing the Designer's Toolkit with Software Comprehension Models. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:310-313 [Conf]
  42. M. P. A. Sellink, Chris Verhoef
    Development, Assessment, and Reengineering of Language Descriptions. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:314-317 [Conf]
  43. Terence J. Harmer, James M. Boyle
    Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:318-332 [Conf]
  44. Michael R. Lowry, M. Boyd, D. Kulkarni
    Towards a Theory for Integration of Mathematical Verification and Empirical Testing. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:322-0 [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