BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Latvia
1 × Republic of China
7 × USA
Collaborated with:
D.E.Cooke S.Salamah ∅ I.Gallegos V.Kreinovich O.Mondragon F.Kassem H.Mendoza O.Sokolsky A.P.Bernat P.J.Teller N.Delgado R.Duran O.Ochoa S.Roach C.Vela
Talks about:
specif (6) properti (3) pattern (3) generat (3) integr (3) logic (3) tool (3) constraint (2) structur (2) support (2)

Person: Ann Q. Gates

DBLP DBLP: Gates:Ann_Q=

Contributed to:

SEKE 20122012
CSEE&T 20082008
SEKE 20082008
SEKE 20072007
SEKE 20052005
SEKE 20032003
ITiCSE 20002000
CSEE 19961996
SEKE 19961996
SEKE 19951995
SEKE 19941994
SEKE 19901990

Wrote 12 papers:

SEKE-2012-GallegosG #detection #tool support
Tool Support for Anomaly Detection in Scientific Sensor Data (IG, AQG), pp. 678–683.
CSEET-2008-SalamahG #education #model checking #specification #using
A Technique for Using Model Checkers to Teach Formal Specifications (SS, AQG), pp. 181–188.
SEKE-2008-GallegosOGRSV #generative #specification
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0 (IG, OO, AQG, SR, SS, CV), pp. 273–278.
SEKE-2007-SalamahKG #generative #linear #logic #specification
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications (SS, VK, AQG), pp. 422–427.
SEKE-2005-MondragonGMS #generative #monitoring #runtime #specification
Generating Properties for Runtime Monitoring from Software Specification Patterns (OM, AQG, HM, OS), pp. 267–273.
SEKE-2003-MondragonGK #automation #specification
Automated Support for Property Specification Based on Patterns (OM, AQG, FK), pp. 174–181.
ITiCSE-2000-BernatTGD #experience #research #student
Structuring the student research experience (APB, PJT, AQG, ND), pp. 17–20.
CSEE-1996-Gates #problem
Integrating a Problem-Solving Methodology and Group Skills into CS1 (AQG), pp. 6–15.
SEKE-1996-Gates #constraints #on the
On Defining a Class of Integrity Constraints (AQG), pp. 338–344.
SEKE-1995-GatesC #constraints #re-engineering #using
The Use of Integrity Constraints in Software Engineering (AQG, DEC), pp. 383–390.
SEKE-1994-CookeDGK #concurrent #linear #logic programming #source code
Bag languages, concurrency, Horn logic programs, and linear logic (DEC, RD, AQG, VK), pp. 289–297.
SEKE-1990-GatesC #automation #recognition
An Introduction To The Recognition of Iterative Structures by a CASE Tool (AQG, DEC), pp. 202–208.
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.