Author:
von der Beeck M.,Braun V.,Claßen A.,Dannecker A.,Friedrich C.,Koschützki D.,Margaria T.,Schreiber F.,Steffen B.
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. M. von der Beeck, B. Steffen, T. Margaria: “A Formal Requirements Engineering Method and an Environment for Specification, Synthesis, and Verification”, Proc. of SEE '97, 8th IEEE Conference on Software Engineering Environments, Cottbus (Germany) 8–9 April 1997.
2. LNCS 1102;R. Cleaveland,1996
3. daVinci: the tool is available via ftp at site ftp://ftp.uni-bremen.de/pub/graphics/daVinci
4. Information on DG is available at http://www.cse.ogi.edu:80/Sparse/dg.html
5. C. Friedrich: “The ffgraph Library”, Techn. Rep. MIP95-20, Univ”, Pro. of Passau (D), December 1995, http://www.fmi.uni-passau.de/friedric/ffgraph/main.shtml
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scientific workflows with the jABC framework;International Journal on Software Tools for Technology Transfer;2016-06-08
2. Knowledge Management for Inclusive System Evolution;Transactions on Foundations for Mastering Change I;2016
3. The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools;Electronic Notes in Theoretical Computer Science;2002-11
4. Cool: A control-flow generator for system analysis;Lecture Notes in Computer Science;1998
5. Combining finite automata, parallel programs and SDL using Petri nets;Tools and Algorithms for the Construction and Analysis of Systems;1998