Author: "Polack, Fiona" / Journal: electronic notes in theoretical computer science - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Polack, Fiona"' showing total 5 results

Start Over Author "Polack, Fiona" Journal electronic notes in theoretical computer science

5 results on '"Polack, Fiona"'

1. Frameworks Based on Templates for Rigorous Model-driven Development

Author: Amálio, Nuno, Polack, Fiona, and Stepney, Susan
Published: 2007
Full Text: View/download PDF

2. Emergent Properties Do Not Refine

Author: Polack, Fiona and Stepney, Susan
Published: 2005
Full Text: View/download PDF

3. Refinement via Consistency Checking in MDA

Author: Paige, Richard F., Kolovos, Dimitrios S., and Polack, Fiona A.C.
Published: 2005
Full Text: View/download PDF

4. Refactoring in Maintenance and Development of Z Specifications and Proofs

Author: Stepney, Susan, Polack, Fiona, and Toyn, Ian
Published: 2002
Full Text: View/download PDF

5. Automated Formalisation for Verification of Diagrammatic Models

Author: Williams, James R., primary and Polack, Fiona A.C., additional
Published: 2010
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results