H ?
«
‹
←
→
›
»
Language peer sets for MAL:
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
MAL(ID:7120/mal009)
Modal action logic
alternate simple view
Designed 1991
Modal Action Logic
References:
Jeremaes, P., Khosla, S., and Maibaum, T.S.E. (1986) Jeremaes, P., Khosla, S., and Maibaum, T.S.E. "A modal(action) logic for requirements specifications" In Software Engineering ?86, P. J. Brown and D. J. Barnes, Eds. Peter Peregrinus, pp278?294. 1986.
Costa, M. C., Cunningham, R. J., and Booth, J. (1990) Costa, M. C., Cunningham, R. J., and Booth, J. "Logical animation" In Proceedings of the 12th International Conference on Software Engineering (Nice, France) 1990. pp144-149.
Goldsack, S. J. and Finkelstein, A. C. W. (1991) Goldsack, S. J. and Finkelstein, A. C. W. "Requirements engineering for real-time systems" IEE Softw. Eng. J. 6, 3. 1991.
Tuzhilin, Alexander (1995) Tuzhilin, Alexander "Templar: a knowledge-based language for software specifications using temporal logic" ACM Transactions on Information Systems (TOIS) 13(03) July 1995 pp269-304
Extract:
MAL
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|