Nancy A. Day
Titre
Citée par
Citée par
Année
Template semantics for model-based notations
J Niu, JM Atlee, NA Day
IEEE Transactions on Software Engineering 29 (10), 866-882, 2003
642003
A framework for microprocessor correctness statements
MD Aagaard, B Cook, NA Day, RB Jones
Advanced Research Working Conference on Correct Hardware Design and …, 2001
502001
A framework for superscalar microprocessor correctness statements
MD Aagaard, B Cook, NA Day, RB Jones
International Journal on Software Tools for Technology Transfer 4 (3), 298-312, 2003
492003
A model checker for statecharts (linking case tools with formal methods)
NA Day
University of British Columbia, 1993
391993
Deconstructing the semantics of big-step modelling languages
S Esmaeilsabzali, NA Day, JM Atlee, J Niu
Requirements Engineering 15 (2), 235-265, 2010
362010
Modelling feature interactions in the automotive domain
AL Juarez-Dominguez, NA Day, JJ Joyce
Proceedings of the 2008 international workshop on Models in software …, 2008
362008
A model checker for statecharts
N Day
University of British Columbia, 1993
351993
Temporal logic model checking in Alloy
A Vakili, NA Day
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
342012
Relating multi-step and single-step microprocessor correctness statements
MD Aagaard, NA Day, M Lou
International Conference on Formal Methods in Computer-Aided Design, 123-141, 2002
312002
Prescriptive semantics for big-step modelling languages
S Esmaeilsabzali, NA Day
International Conference on Fundamental Approaches to Software Engineering …, 2010
242010
Mapping template semantics to SMV
Y Lu, JM Atlee, NA Day, J Niu
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
222004
Unified use case statecharts: case studies
D Svetinovic, DM Berry, NA Day, MW Godfrey
Requirements Engineering 12 (4), 245-264, 2007
212007
Symbolic functional evaluation
NA Day, JJ Joyce
International Conference on Theorem Proving in Higher Order Logics, 341-358, 1999
211999
S: A machine readable specification notation based on higher order logic
J Joyce, N Day, M Donat
HOL Users' Group Workshop, 285-299, 1994
211994
Semantically configurable code generation
A Prout, JM Atlee, NA Day, P Shaker
International Conference on Model Driven Engineering Languages and Systems …, 2008
192008
Recommendations for improving the usability of formal methods for product lines
JM Atlee, S Beidu, NA Day, F Faghih, P Shaker
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE …, 2013
182013
A framework for multi-notation, model-oriented requirements analysis
NA Day
University of British Columbia, 1998
161998
Understanding and comparing model-based specification notations
J Niu, JM Atlee, NA Day
Proceedings. 11th IEEE International Requirements Engineering Conference …, 2003
152003
Interface automata with complex actions
S Esmaeilsabzali, F Mavaddat, NA Day
Electronic Notes in Theoretical Computer Science 159, 79-97, 2006
142006
Code generation for a family of executable modelling notations
A Prout, JM Atlee, NA Day, P Shaker
Software & Systems Modeling 11 (2), 251-272, 2012
132012
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20