H ?
«
‹
←
→
›
»
Language peer sets for ERAE:
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
ERAE(ID:7116/era002)
alternate simple view
Designed 1991
References:
Dubois, Eric; Hagelstein, Jacques; Rifaut, André (1991) Dubois, Eric; Hagelstein, Jacques; Rifaut, André "A formal language for the requirements engineering of computer systems" pp357-433 From natural language processing to logic for expert systems: a logic based approach to artificial intelligence John Wiley and Sons Ltd. Chichester, UK 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:
ERAE
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|