IEEE (Institute of Electrical and Electronics Engineers). Standard Glossary of
Software Engineering Terminology, 1983.
R. Iosif. Symmetry reductions for model checking of concurrent dynamic software.
STTT, 6(4):302??“319, 2004.
D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press,
2006.
D. Jackson and C. A. Damon. Elements of style: Analyzing a software design feature
with a counterexample detector. IEEE Transactions on Software Engineering,
22(7):484??“495, July 1996.
J. Jacky. The Way of Z: Practical Programming with Formal Methods. Cambridge
University Press, 1997.
C. Jard and T. J??eron. TGV: Theory, principles and algorithms. A tool for the
automatic synthesis of conformance test cases for non-deterministic reactive
systems. International Journal on Software Tools for Technology Transfer,
7(4):297??“315, 2005.
C. Kaner, H. Q. Nguyen, and J. L. Falk. Testing Computer Software. John Wiley &
Sons, Inc., 1993.
R. Keller. Formal verification of parallel programs. Communications of the ACM,
371??“384, July 1976.
L. Lamport. Time, clocks, and the ordering of events in a distributed system.
Communications of the ACM, 21(7):558??“565, 1978.
L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and
Software Engineers. Addison-Wesley, 2002.
K. G. Larsen, M. Mikucionis, B. Nielsen, and A. Skou. Testing real-time embedded
software using UPPAAL-TRON: An industrial case study.
Pages:
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435