H ? « ‹ ← → › »

Language peer sets for FORMAN:
United States↑
United States/1991↑
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

FORMAN(ID:5538/for024)

alternate simple view
Country: United States
Designed 1991

for FORMal ANnotation Language

language for "building automatic debugging tools based on precise program execution behavior models that enable us to employ a systematic approach [...] program behavior models are based on events and event traces"

uses h-space (history space) to describe actions noticed by a monitor program

People:
Related languages
FORMAN → PARFORMAN   Extension of
FORMAN → UFO   Evolution of
References:
  • M. Auguston, (1991) M. Auguston, "FORMAN -- A Program Formal Annotation Language"
          in [Proceedings] (1991) Proceedings of the 5th Israel Conference on Computer Systems and Software Engineering, Gerclia, May 1991, IEEE Computer Society Press
  • M. Auguston, (1995) M. Auguston, "Program Behavior Model Based on Event Grammar and its Application for Debugging Automation", in Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging, Saint-Malo, France, May 1995. Abstract
          in [Proceedings] (1991) Proceedings of the 5th Israel Conference on Computer Systems and Software Engineering, Gerclia, May 1991, IEEE Computer Society Press
  • Auguston, Mikhail (1996) Auguston, Mikhail "Building Program Behaviour Models" Abstract
          in [Proceedings] (1991) Proceedings of the 5th Israel Conference on Computer Systems and Software Engineering, Gerclia, May 1991, IEEE Computer Society Press
  • Auguston, Mikhail (1999) Auguston, Mikhail "Tools for Program Dynamic Analysis, Testing, and Debugging Based on Event Grammars" 1999
          in [Proceedings] (1991) Proceedings of the 5th Israel Conference on Computer Systems and Software Engineering, Gerclia, May 1991, IEEE Computer Society Press
  • Auguston, M. (2000) Auguston, M. "Lightweight semantics models for program testing and debugging automation" pp23-31
          in Proceedings of the 7th Monterey Workshop on (2000) Proceedings of the 7th Monterey Workshop on "Modeling Software System Structures in a Fast Moving Scenario", Santa Margherita Ligure, Italy, June 13-16, 2000
  • Auguston, M; Jeffery, C; Underwood, S (2003) Auguston, M; Jeffery, C; Underwood, S "A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization" 14 Oct 2003 Abstract
          in Proceedings of the 7th Monterey Workshop on (2000) Proceedings of the 7th Monterey Workshop on "Modeling Software System Structures in a Fast Moving Scenario", Santa Margherita Ligure, Italy, June 13-16, 2000
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder