BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
2 × Germany
Collaborated with:
A.Podelski J.Hoenicke I.Menzel
Talks about:
requir (3) time (2) real (2) inconsist (1) restrict (1) properti (1) vacuous (1) grammar (1) english (1) automot (1)

Person: Amalinda Post

DBLP DBLP: Post:Amalinda

Contributed to:

FASE 20112011
RE 20112011
REFSQ 20112011

Wrote 3 papers:

FASE-2011-PostHP #named #realtime #requirements
rt-Inconsistency: A New Property for Real-Time Requirements (AP, JH, AP), pp. 34–49.
RE-2011-PostHP #realtime #requirements
Vacuous real-time requirements (AP, JH, AP), pp. 153–162.
REFSQ-2011-PostMP #case study #requirements #strict
Applying Restricted English Grammar on Automotive Requirements — Does it Work? A Case Study (AP, IM, AP), pp. 166–180.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.