-
1
-
-
0037813472
-
A run-time assertion checker for Java using JML
-
Department of Computer Science, Iowa State University
-
Bhorkar A., A run-time assertion checker for Java using JML, Technical report, Department of Computer Science, Iowa State University (2000).
-
(2000)
Technical Report
-
-
Bhorkar, A.1
-
4
-
-
0000289556
-
Formal methods: State of the art and future directions
-
Clarke E.M., Wing J.M. Formal methods: State of the art and future directions. ACM Computing Surveys. 28:1996;626-643
-
(1996)
ACM Computing Surveys
, vol.28
, pp. 626-643
-
-
Clarke, E.M.1
Wing, J.M.2
-
5
-
-
18944390718
-
Embee performance results
-
School of Computing, Queen's University
-
Crane, M. L. and J. Dingel, Embee performance results, Technical Report 2003-465, School of Computing, Queen's University (2003). URL http://www.cs.queensu.ca/TechReports/Reports/2003-465.pdf
-
(2003)
Technical Report
, vol.2003
, Issue.465
-
-
Crane, M.L.1
Dingel, J.2
-
8
-
-
23044520134
-
Enforcing design constraints with object logic
-
Jackson D., Enforcing design constraints with object logic, in: Static Analysis Symposium, 2000, pp. 1-21.
-
(2000)
Static Analysis Symposium
, pp. 1-21
-
-
Jackson, D.1
-
10
-
-
18744382646
-
Micromodels of software: Lightweight modelling and analysis with alloy
-
Software Design Group, MIT Lab for Computer Science
-
Jackson D., Micromodels of software: Lightweight modelling and analysis with Alloy, Technical report, Software Design Group, MIT Lab for Computer Science (2002).
-
(2002)
Technical Report
-
-
Jackson, D.1
-
12
-
-
19144373771
-
Java-MaC: A run-time assurance tool for Java programs
-
Kim M., Kannan S., Lee I., Sokolsky O., Viswanathan M. Java-MaC: A run-time assurance tool for Java programs. Electronic Notes in Theoretical Computer Science. 55:2001
-
(2001)
Electronic Notes in Theoretical Computer Science
, vol.55
-
-
Kim, M.1
Kannan, S.2
Lee, I.3
Sokolsky, O.4
Viswanathan, M.5
-
14
-
-
84885236249
-
JML: Notations and tools supporting detailed design in Java
-
Minnesota: Minneapolis
-
Leavens G., Leino K., Poll E., Ruby C., Jacobs B. JML: Notations and tools supporting detailed design in Java. OOPSLA 2000 Companion. 2000;105-106 Minneapolis, Minnesota
-
(2000)
OOPSLA 2000 Companion
, pp. 105-106
-
-
Leavens, G.1
Leino, K.2
Poll, E.3
Ruby, C.4
Jacobs, B.5
-
15
-
-
0003311357
-
Runtime assurance based on formal specifications
-
Lee I., S. Kannan, M. Kim, O. Sokolsky and M. Viswanathan, Runtime assurance based on formal specifications, in: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999.
-
(1999)
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications
-
-
Lee, I.1
Kannan, S.2
Kim, M.3
Sokolsky, O.4
Viswanathan, M.5
-
19
-
-
18944365655
-
-
unpublished manuscript
-
Turner C., T. Graham, H. Stewart, C. Wolfe and A. Ryman, Visual constraint diagrams: Runtime conformance checking of UML object models versus implementations (2002), unpublished manuscript.
-
(2002)
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models Versus Implementations
-
-
Turner, C.1
Graham, T.2
Stewart, H.3
Wolfe, C.4
Ryman, A.5
-
21
-
-
0031274275
-
Software reliability via run-time result-checking
-
Wasserman H., Blum M. Software reliability via run-time result-checking. Journal of the ACM. 44:1997;826-849
-
(1997)
Journal of the ACM
, vol.44
, pp. 826-849
-
-
Wasserman, H.1
Blum, M.2
|