H ?
«
‹
←
→
›
»
Language peer sets for ASLAN:
United States↑
United States/1982↑
Designed 1982 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
ASLAN(ID:7843/)
alternate simple view
Country: United States
Designed 1982
Specificatino language
Related languages
| ASLAN |
→
|
ASTRAL | |
Influence |
| ASLAN |
→
|
RT-ASLAN | |
Evolution of |
| ASLAN |
→
|
TRIO | |
Evolution of |
References:
Auernheimer, B. (1990) Auernheimer, B. and D. Stearns. Using the ASLAN formal specification language in undergraduate software engineering courses. Computer Science Education, vol. 2 (2-3).
Brent Auernheimer and Richard A. Kemmerer (1992) Brent Auernheimer and Richard A. Kemmerer "ASLAN User?s Manual" Reliable Software Group Tech Report TRCS84-10 Department of Computer Science UCSB 1992
Abstract
Extract:
An Overview of Correctness Conjectures
Douglas, Jeffrey G. (1994) Douglas, Jeffrey G. "Aslantest User''s Manual", University of California at Santa Barbara, Santa Barbara, CA, 1994
Douglas, Jeffrey G. (1994) Douglas, Jeffrey G. "Xaslantest User Manual", University of California at Santa Barbara, Santa Barbara, CA, 1994
Jeffrey Douglas, Richard A. (1994) Jeffrey Douglas, Richard A. Kemmerer: Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications. ISSTA 1994: 15-27
Abstract
DOI
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|