-
2
-
-
14744281167
-
SAL 2
-
R. Alur and D. Peled, editors of Lecture Notes in Computer Science Boston, MA, July 2004. Springer-Verlag. see also
-
L. de Moura, S. Owre, H. Rueß, J. Rushby, N. Shankar, M. Sorea, and A. Tiwari. SAL 2. In R. Alur and D. Peled, editors, Computer-Aided Verification, CAV 2004, volume 3114 of Lecture Notes in Computer Science, pages 496-500, Boston, MA, July 2004. Springer-Verlag. see also http://sal.csl.sri. com.
-
Computer-aided Verification, CAV 2004
, vol.3114
, pp. 496-500
-
-
De Moura, L.1
Owre, S.2
Rueß, H.3
Rushby, J.4
Shankar, N.5
Sorea, M.6
Tiwari, A.7
-
6
-
-
0038507387
-
Alloy: A lightweight object modelling notation
-
DOI 10.1145/505145.505149
-
D. Jackson. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM), 11(2):256-290, 2002. (Pubitemid 44159313)
-
(2002)
ACM Transactions on Software Engineering and Methodology
, vol.11
, Issue.2
, pp. 256-290
-
-
Jackson, D.1
-
7
-
-
30944447677
-
Visual specification and analysis of use cases
-
DOI 10.1145/1056018.1056029, Proceedings SoftVis '05 - ACM Symposium on Software Visualization
-
D. Kholkar, G. M. Krishna, U. Shrotri, and R. Venkatesh. Visual specification and analysis of use cases. In SoftVis '05: Proceedings of the 2005 ACM symposium on Software visualization, pages 77-85. ACM Press, 2005. (Pubitemid 43111308)
-
(2005)
Proceedings SoftVis '05 - ACM Symposium on Software Visualization
, pp. 77-85
-
-
Kholkar, D.1
Krishna, G.M.2
Shrotri, U.3
Venkatesh, R.4
-
8
-
-
0000381112
-
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
-
D. Latella, I. Majzik, and M. Massink. Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing, 11(6):637-664, 1999. (Pubitemid 129556008)
-
(1999)
Formal Aspects of Computing
, vol.11
, Issue.6
, pp. 637-664
-
-
Latella, D.1
Majzik, I.2
Massink, M.3
-
9
-
-
0030212784
-
Principles and methods of testing finite state machines - A survey
-
PII S0018921996055247
-
D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - a survey. Proceedings of the IEEE, 84(8):1090-1123, Aug. 1996. (Pubitemid 126752579)
-
(1996)
Proceedings of the IEEE
, vol.84
, Issue.8
, pp. 1090-1123
-
-
Lee, D.1
Yannakakis, M.2
-
10
-
-
0347990505
-
Calculating the return on investment from more effective requirements management
-
D. Leffingwell. Calculating the return on investment from more effective requirements management. American Programmer, 10(4):13-16, 1997. (Pubitemid 127547041)
-
(1997)
Cutter IT Journal
, vol.10
, Issue.4
, pp. 13-16
-
-
Leffingwell, D.1
-
11
-
-
0034999066
-
A general framework for formalizing UML with formal languages
-
W. E. McUmber and B. H. C. Cheng. General framework for formalizing UML with formal languages. In Proceedings of the 23rd International Conference on Software Engeneering (ICSE-01), pages 433-442, Los Alamitos, California, May12-19 2001. IEEE Computer Society. (Pubitemid 32485673)
-
(2001)
Proceedings - International Conference on Software Engineering
, pp. 433-442
-
-
McUmber, W.E.1
Cheng, B.H.C.2
-
12
-
-
2542488419
-
A framework and tool support for the systematic testing of model-based specifications
-
T. Miller and P. Strooper. A framework and tool support for the systematic testing of model-based specifications. ACM Transactions on Software Engineering and Methodology, 12(4):409-439, 2003.
-
(2003)
ACM Transactions on Software Engineering and Methodology
, vol.12
, Issue.4
, pp. 409-439
-
-
Miller, T.1
Strooper, P.2
-
14
-
-
84944186496
-
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
-
Fundamental Approaches to Software Engineering
-
G. Reggio, M. Cerioli, and E. Astesiano. Towards a rigorous semantics of UML supporting its multiview approach. In H. Hussmann, editor, Fundamental Approaches to Software Engineering. 4th International Conference, FASE 2001, volume 2029 of LNCS, pages 171-186. Springer, 2001. (Pubitemid 33256473)
-
(2001)
Lecture Notes in Computer Science
, Issue.2029
, pp. 171-186
-
-
Reggio, G.1
Cerioli, M.2
Astesiano, E.3
-
15
-
-
0010361611
-
The economic impacts of inadequate infrastructure of software testing
-
RTI, Health, Social and Economics Research NIST, USA
-
RTI, Health, Social and Economics Research. The Economic impacts of inadequate infrastructure of Software Testing. Technical Report RTI 7007.011, NIST, USA, 2002.
-
(2002)
Technical Report RTI 7007.011
-
-
-
16
-
-
0000101791
-
Test generation with inputs, outputs and repetitive quiescence
-
J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103-120, 1996.
-
(1996)
Software - Concepts and Tools
, vol.17
, Issue.3
, pp. 103-120
-
-
Tretmans, J.1
-
17
-
-
82655189125
-
-
white paper. Available at
-
Business modelling study - the library. TriReme International Ltd. white paper. Available at http://www.trireme.com.
-
Business Modelling Study - The Library
-
-
-
18
-
-
82655167145
-
Analyzing partition testing strategies
-
R. Poston, editor IEEE Computer society press
-
E. Weyuker and B. Jeng. Analyzing partition testing strategies. In R. Poston, editor, Automating specification-based software testing, pages 64 - 72. IEEE Computer society press, 1996.
-
(1996)
Automating Specification-based Software Testing
, pp. 64-72
-
-
Weyuker, E.1
Jeng, B.2
|