Следене
Nancy A. Day
Заглавие
Позовавания
Позовавания
Година
Template semantics for model-based notations
J Niu, JM Atlee, NA Day
IEEE Transactions on Software Engineering 29 (10), 866-882, 2003
662003
A framework for superscalar microprocessor correctness statements
MD Aagaard, B Cook, NA Day, RB Jones
International Journal on Software Tools for Technology Transfer 4, 298-312, 2003
512003
A framework for microprocessor correctness statements
MD Aagaard, B Cook, NA Day, RB Jones
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced …, 2001
492001
Deconstructing the semantics of big-step modelling languages
S Esmaeilsabzali, NA Day, JM Atlee, J Niu
Requirements Engineering 15, 235-265, 2010
412010
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
382008
Temporal logic model checking in Alloy
A Vakili, NA Day
Abstract State Machines, Alloy, B, VDM, and Z: Third International …, 2012
372012
A model checker for statecharts
N Day
University of British Columbia, 1993
371993
A model checker for statecharts (linking case tools with formal methods)
NA Day
University of British Columbia, 1993
371993
Relating multi-step and single-step microprocessor correctness statements
MD Aagaard, NA Day, M Lou
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD …, 2002
312002
Logical abstractions in Haskell
NA Day, J Launchbury, J Lewis
Proceedings of the 1999 Haskell Workshop, 1999
261999
Semantically configurable code generation
A Prout, JM Atlee, NA Day, P Shaker
Model Driven Engineering Languages and Systems: 11th International …, 2008
232008
Mapping template semantics to SMV
Y Lu, JM Atlee, NA Day, J Niu
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
232004
Symbolic functional evaluation
NA Day, JJ Joyce
TPHOLs, 341-358, 1999
231999
S: A machine readable specification notation based on higher order logic
J Joyce, N Day, M Donat
Higher Order Logic Theorem Proving and Its Applications: 7th International …, 1994
231994
Prescriptive semantics for big-step modelling languages
S Esmaeilsabzali, NA Day
Fundamental Approaches to Software Engineering: 13th International …, 2010
212010
Unified use case statecharts: case studies
D Svetinovic, DM Berry, NA Day, MW Godfrey
Requirements Engineering 12, 245-264, 2007
212007
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
172013
A framework for multi-notation, model-oriented requirements analysis
NA Day
University of British Columbia, 1998
171998
Understanding and comparing model-based specification notations
J Niu, JM Atlee, NA Day
Proceedings. 11th IEEE International Requirements Engineering Conference …, 2003
152003
Symbolic simulation of microprocessor models using type classes in Haskell
NA Day, JR Lewis, B Cook
Correct Hardware Design and Verification Methods: 10th IFIP WG10. 5 Advanced …, 1999
151999
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20