Searching for authors named "Iman Poernomo" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
by Heinz Schmidt, Iman Poernomo, Ralf Reussner — 2001
… Science and Software Engineering Monash University, Australia Iman Poernomo DSTC Pty Ltd Australia Ralf…
Cited by 4 (1 self) – Add To MetaCart

A layered approach to extracting programs from proofs with an application in Graph Theory
by John Jeavons, Iman Poernomo, Bolis Basit, John Crossley — 1999 — in Graph Theory. Paper presented at the Seventh Aisan Logic Conference, Hsi-Tou
… Jeavons ? , Iman Poernomo ?? , Bolis Basit ? ? ? and John Crossley y Monash University, Australia…
Cited by 2 (2 self) – Add To MetaCart

Fred: An implementation of a layered approach to extracting programs from proofs. Part I: an application in Graph Theory
by John Jeavons, Iman Poernomo, John Crossley, Bolis Basit — 2000
…: an application in Graph Theory John Jeavons, Iman Poernomo, y John Crossley z and Bolis Basit, x Monash…
Cited by 1 (1 self) – Add To MetaCart

Timed Probabilistic Reasoning on UML Specialization for Fault Tolerant Component Based Architectures
by Jane Jayaputera, Iman Poernomo, Heinz Schmidt — 2003
… Specialization for Fault Tolerant Component Based Architectures Jane Jayaputera, Iman Poernomo and Heinz Schmidt…
Cited by 3 (1 self) – Add To MetaCart

A methodology for requirements analysis at CIM level
by Iman Poernomo, George Tsaramirsis, Venera Zuna
…A methodology for requirements analysis at CIM level Iman Poernomo 1 , George Tsaramirsis 2…
Add To MetaCart

unknown title
by Iman Poernomo, John N. Crossley
… The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning Iman…
Add To MetaCart

Programs, Proofs and Parametrized Specifications.
by Iman Poernomo, John N. Crossley, Martin Wirsing
…Programs, proofs and parametrized specications. Iman Poernomo, 1;? John N. Crossley, 1…
Add To MetaCart

Extraction of Structured Programs from Specification Proofs
by John N. Crossley, Iman Poernomo, Martin Wirsing — Workshop on Algebraic Development Techniques, volume 1827 of Lecture Notes in Computer Science
…Extraction of Structured Programs from Specification Proofs John N. Crossley, 1 Iman Poernomo 1…
Cited by 3 (3 self) – Add To MetaCart

Contracts and Quality Attributes of Software Components
by Ralf H. Reussner, Iman H. Poernomo, Heinz W. Schmidt — 2003 — Proceedings of the Eighth International Workshop on Component-Oriented Programming
…@(email omitted); Iman H. Poernomo, Heinz W. Schmidt School of Computer Science and Software Engineering Monash…
Cited by 4 (2 self) – Add To MetaCart

Executable Contracts for Incremental Prototypes of Embedded Systems, Lionel
by Juliana Kuester, Filipe Bowles, Iman Poernomo, Ralf Reussner (eds, Programme Comittee, Sabine Glesner Tu Berlin, Julia Padberg Tu Berlin, Juliana Küster, Filipe Bowles, Iman Poernomo, Ralf Reussner, Samuel Colin, Arnaud Lanoix, Jeanine Souquieres, Hartmut Ehrig, O Orejas, Pavel Jezek, Systems Peter Szulman, Dilian Gurov, Fabricio Chalub, Re Sztajnberg, Louis M — 2007
… Kuester Filipe Bowles, Iman Poernomo and Ralf Reussner (Eds.) Supported by: Programme comittee Samik Basu…
Add To MetaCart

Showing 1 through 10.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB