H ? « ‹ ← → › »

Language peer sets for PARFORMAN:
United States↑
United States/2002↑
Designed 2002 ↑
2000s languages ↑
Internet↑
New internationlism↑

PARFORMAN(ID:5537/par028)

alternate simple view
Country: United States
Designed 2002

for PARallel FORMal ANnotation language

language for expressing intended behavior or known types of error conditions when debugging or testing parallel programs

People:
Related languages
FORMAN → PARFORMAN   Extension of
References:
  • Auguston, M.; P. Fritzson, (1996) Auguston, M.; P. Fritzson, "PARFORMAN -- an Assertion Language for Specifying Behavior when Debugging Parallel Applications", pp609-640 Citeseer Abstract
          in (1996) International Journal of Software Engineering and Knowledge Engineering 6(4) 1996
  • Mikhail Auguston, Clinton Jeffery, Scott Underwood (2002) Mikhail Auguston, Clinton Jeffery, Scott Underwood: A Framework for Automatic Debugging NMSU-CS-2002-004. Abstract
          in (1996) International Journal of Software Engineering and Knowledge Engineering 6(4) 1996
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder