Executable visual contracts
暂无分享,去创建一个
[1] Heinrich Hußmann,et al. Modular architecture for a toolset supporting OCL , 2000, Sci. Comput. Program..
[2] Albert Zündorf,et al. Graph Pattern Matching in PROGRES , 1994, TAGT.
[3] Gary T. Leavens,et al. A Simple and Practical Approach to Unit Testing: The JML and JUnit Way , 2002, ECOOP.
[4] Richard G. Hamlet,et al. Automatically Checking an Implementation against Its Formal Specification , 2000, IEEE Trans. Software Eng..
[5] Reiko Heckel,et al. Concurrency and loose semantics of open graph transformation systems , 2002, Mathematical Structures in Computer Science.
[6] Ivar Jacobson,et al. The Unified Software Development Process , 1999 .
[7] Albert Zündorf,et al. Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java , 1998, TAGT.
[8] Stuart Kent,et al. Spider Diagrams: A Diagrammatic Reasoning System , 2001, J. Vis. Lang. Comput..
[9] Marieke Huisman,et al. Reasoning about Java programs in higher order logic using PVS and Isabelle , 2001 .
[10] MeyerBertrand,et al. Design by Contract , 1997 .
[11] David Lorge Parnas,et al. Using Test Oracles Generated from Program Documentation , 1998, IEEE Trans. Software Eng..
[12] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.
[13] Albert L. Baker,et al. Preliminary design of JML: a behavioral interface specification language for java , 2006, SOEN.
[14] Gabriele Taentzer,et al. A Visualization of OCL Using Collaborations , 2001, UML.
[15] J. van Leeuwen,et al. Theory and Application of Graph Transformations , 1998, Lecture Notes in Computer Science.
[16] Michael D. Ernst,et al. An overview of JML tools and applications , 2003, International Journal on Software Tools for Technology Transfer.
[17] Ali Hamie,et al. Translating the Object Constraint Language into the Java Modelling Language , 2004, SAC '04.
[18] Stuart Kent,et al. Mixing Visual and Textual Constraint Languages , 1999, UML.
[19] Manfred Nagl,et al. Graph-Grammars and Their Application to Computer Science , 1982, Lecture Notes in Computer Science.