Backtracking-free design planning by automatic synthesis in METAframe

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1382, Issue , 1998, Pages 188-204

  Margaria, Tiziana ^a   Steffen, Bernhard ^b  

^a UNIVERSITY OF PASSAU   (Germany)

^b TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

HYPERTEXT SYSTEMS; SOFTWARE ENGINEERING;

APPLICATION FIELDS; APPLICATION SPECIFIC; AUTOMATIC SYNTHESIS; DESIGN PLANNING; GRAPHICAL INTERFACE; HARDWARE DESIGN; PLANNING PHASE; USER FRIENDLY;

COMPUTER AIDED DESIGN;

EID: 84957085309     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053591     Document Type: Conference Paper

References (18)

1. J. Brockman, S. Director: "The Schema-Based Approach to Workflow management," IEEE Trans, on Comp.-Aided Design Vol. l4(10), Oct. 1995, pp. 1257-1267.
2. M. von der Beeck, T. Margaria, B. Steffen: "A Formal Requirements Engineering Method Combining Specification, Synthesis, and Verification," Proc. IEEE SEE'97, Cottbus (D), April 1997, IEEE Comp. Soc. Press, pp. 131-144.
3. M. Bushnell, S. Director: "ULYSSES-A knowledge based VLSI design environment", Int. J. Al Eng., Vol. 2, N. l, January 1987.
4. J. Daniell, S. Director: "An Object Oriented Approach to CAD Tool Control," Trans, on Computer-Aided Design, Vol. 10, N. 6, June 1991, pp. 698-713.
5. A. Emerson, E. Clarke: "Using branching time temporal logic to synthesize syn-chonization skeletons," Sc. of Computer Progr., Vol. 2, pp. 241-266, 1982.
6. J. A. Goguen, Luqi: "Formal Methods and Social Context in Software Development," Proc. TAPSOFT'95, Aarhus (DK), May 1995, LNCS N. 915, pp. 62-81.
7. E. Johnson, J. Brockman: "Incorporating design schedule Management into a flow management system," Proc. 32nd ACM/IEEE DAC, June 1995.
8. D. Knapp, A. Parker: "A design utility manager: the ADAM planning engine," Proc. DAC'86, IEEE, 1986, pp. 48-54.
9. Z. Manna, P. Wolper: "Synthesis of Communicating Processes from Temporal Logic Specifications," ACM TOPLAS Vol. 6, N. l, Jan. 1984, pp. 68-93.
10. J. Miller, K. Groening, G. Schulz, C. White: "The object-oriented integration methodology ogf the Cadlab workstation design environment", Proc. ACM/IEEE 26th Design Automation Conference, 1989.
11. "Jessi Common Frame V2. 0-Desktop User's Guide," SNI AG, 1993.
12. B. Steffen, T. Margaria, V. Braun: The Electronic Tool Integration Platform: Concepts and Design, Int. Jour, on Softw. Tools for Techn. Transfer, Vol. l, Springer V., Dec. 1997. See http://eti. cs. uni-dortmund. de for informations on this service.
13. B. Steffen, T. Margaria, A. Claβen: "Heterogeneous Analysis and Verification for Distributed Systemś", Software: Concepts and Tools 17(1), pp. 13-25, March 1996, Springer Verl.
14. B. Steffen, T. Margaria, A. Claβen, V. Braun: "Incremental Formalization: a Key to Industrial Success", Software: Concepts and Tools 17(2), pp. 78-91, Springer V., July 1996.
15. B. Steffen, T. Margaria, A. Claβen, V. Braun: "The METAFrame'95 Environment," Proc. CAV'96, Aug. 1996, New Brunswick, NJ, USA, LNCS, Springer Verlag.
16. B. Steffen, T. Margaria, A. Claβen, V. Braun, M. Reitenspiefi: "An Environment for the Creation of Intelligent Network Services", in "The Advanced Intelligent Network: A Comprehensive Report," Int. Engin. Consort., Chicago, Dec. 1995.
17. P. van der Wolf, P. Bingley, P. Dewilde: "On the Architecture of a CAD Framework: The NELSIS Approach," Proc. EDAC'90, IEEE Comp. Soc. Press, pp. 29-33.
18. P. van der Wolf, O. ten Bosch, A. van der Hoeven: "An enhanced flow model for constraint handling in hierarchical multi-view design environments", Proc. ICCAD'94, IEEE, Nov. 1994.