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 × Austria
1 × China
1 × Cyprus
1 × France
1 × Germany
1 × Norway
6 × USA
Collaborated with:
J.M.Atlee S.Esmaeilsabzali J.Niu A.Vakili A.L.J.Dominguez J.J.Joyce A.Prout P.Shaker Y.Lu
Talks about:
model (9) semant (6) languag (4) notat (3) step (3) base (3) big (3) framework (2) properti (2) specif (2)

Person: Nancy A. Day

DBLP DBLP: Day:Nancy_A=

Contributed to:

FSE 20142014
ASE 20112011
FASE 20112011
FASE 20102010
MoDELS (2) 20102010
RE 20092009
MoDELS 20082008
ASE 20052005
ASE 20042004
RE 20032003
FSE 20022002
ICRE 20002000

Wrote 12 papers:

FSE-2014-VakiliD #infinity #modelling #smt #using #verification
Verifying CTL-live properties of infinite state models using an SMT solver (AV, NAD), pp. 213–223.
ASE-2011-VakiliD #declarative #model checking #modelling #using
Using model checking to analyze static properties of declarative models (AV, NAD), pp. 428–431.
FASE-2011-EsmaeilsabzaliD #modelling #quality #semantics
Semantic Quality Attributes for Big-Step Modelling Languages (SE, NAD), pp. 65–80.
FASE-2010-EsmaeilsabzaliD #modelling #semantics
Prescriptive Semantics for Big-Step Modelling Languages (SE, NAD), pp. 158–172.
MoDELS-v2-2010-EsmaeilsabzaliDA #framework #modelling #requirements
A Common Framework for Synchronization in Requirements Modelling Languages (SE, NAD, JMA), pp. 198–212.
RE-2009-EsmaeilsabzaliDAN #modelling #semantics
Semantic Criteria for Choosing a Language for Big-Step Models (SE, NAD, JMA, JN), pp. 181–190.
MoDELS-2008-ProutADS #code generation #configuration management #semantics
Semantically Configurable Code Generation (AP, JMA, NAD, PS), pp. 705–720.
ASE-2005-DominguezD #composition #distributed #reasoning
Compositional reasoning for port-based distributed systems (ALJD, NAD), pp. 376–379.
ASE-2004-LuADN #semantics
Mapping Template Semantics to SMV (YL, JMA, NAD, JN), pp. 320–325.
RE-2003-NiuAD #comprehension #modelling #specification
Understanding and Comparing Model-Based Specification Notations (JN, JMA, NAD), pp. 188–199.
FSE-2002-NiuAD #composition #modelling #semantics
Composable semantics for model-based notations (JN, JMA, NAD), pp. 149–158.
ICRE-2000-DayJ #analysis #framework #multi #requirements #specification
A Framework for Multi-Notation Requirements Specification and Analysis (NAD, JJJ), pp. 39–48.

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.