Searching for authors named "Fiona Polack" – sorted by Relevance.
38 documents found, showing 1 through 10.
Next 10 →
-
A Case Study using Lightweight Formalism to Review an Information System Specification
- … Polack Department of Computer Science University of York, UK, +1904 432722 (fax +1904 432767) fiona…
- Cited by 2 (0 self) – Add To MetaCart
-
Exploring the informal translation of OMT object models in B
- …Exploring the informal translation of OMT object models in B 1 Introduction Fiona Polack…
- Cited by 1 (1 self) – Add To MetaCart
-
Metamodels for a UML for Information Systems Specification
- …Metamodels for a UML for Information Systems Specification Fiona Polack Department of Computer…
- Add To MetaCart
-
Analysis and Comparison of Formalization Approaches of UML class constructs in Z and Object-Z
- … Amalio and Fiona Polack Department of Computer Science University of York, York, YO10 5DD, UK fnra101…
- Add To MetaCart
-
Comparison of formalisation approaches of UML class constructs
- … and Fiona Polack Department of Computer Science, University of York, York, YO10 5DD, UK namalio,fiona…
- Cited by 5 (4 self) – Add To MetaCart
-
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems
- … & Fiona Polack CEDRIC-IIE(CNAM), 18 allee Jean Rostand, 91025 Evry, France laleau…
- Cited by 9 (7 self) – Add To MetaCart
-
Metamodels for Static Conceptual Modelling of Information Systems
- …-IIE(CNAM), 18 Alle Jean Rostand 91025 Evry, France, laleau@(email omitted); Fiona Polack Department of Computer…
- Cited by 3 (0 self) – Add To MetaCart
-
Specification of Integrity-Preserving Operations in Information Systems by Using a Formal UML-based Language
- …; fax +33 1 69 36 73 05 laleau@(email omitted); & Fiona Polack Department of Computer Science University…
- Cited by 3 (1 self) – Add To MetaCart
-
Coming and going from UML to B: a proposal to support traceability in rigorous IS development
- … Regine Laleau 1 and Fiona Polack 2 1 CEDRIC-IIE(CNAM), 18 allee Jean Rostand, 91025 Evry, France…
- Cited by 5 (2 self) – Add To MetaCart
-
Systems Development using Z Generics
- …Systems Development using Z Generics Fiona Polack 1 and Susan Stepney 2 1 Department…
- Cited by 5 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
