MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "From "Formal Methods" to System Modeling." – sorted by Relevance.

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

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

750,331 documents found, showing 1 through 10. Next 10 →

ATOM

Information Systems Modelling with Troll: Formal Methods at Work
by Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-dieter Ehrich — 1997
… MODELLING WITH TROLL FORMAL METHODS AT WORK Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone and Hans…
Cited by 8 (5 self) – Add To MetaCart

Compositional Modelling: The Formal Perspective
by Hussein Zedan, Antonio Cau, Ben Moszkowski — 1999
… Public Service Systems (PSS). Keywords : Information System, Modelling, Lean Formal methods, Interval…
Cited by 2 (2 self) – Add To MetaCart

Automatic Synthesis of Controllers from Formal Specifications
by Enrico Tronci — 1998 — PROC. OF 2ND IEEE INT. CONF. ON &QUOT;FORMAL ENGINEERING METHODS
… the controller from the plant model and the given formal specifications for the closed loop system (plant…
Cited by 6 (3 self) – Add To MetaCart

The OO-Method approach for information systems modeling: from object-oriented conceptual modeling
by Oscar Pastor, Jaime Gomez, Emilio Insfran, Vicente Pelechano — 2001
…Information Systems 26 (2001) 507–534 The OO-Method approach for information systems modeling…
Cited by 29 (17 self) – Add To MetaCart

event, time and diagram in system modelling
by Jin Song Dong — 2001 — in Proc. of ICSE’01
… techniques to model static and dynamic aspects of software systems. Although traditional formal methods have…
Cited by 1 (0 self) – Add To MetaCart

On the symmetry reduction method for Petri nets and similar formalisms
by Tommi Junttila — 2003
…. This thesis studies various issues involved in the method. The focus is on systems modeled with Petri nets…
Cited by 4 (1 self) – Add To MetaCart

Fuzzy Concepts and Formal Methods: Some Illustrative Examples
by Chris Matthews, Paul A. Swatman — 1999 — In Proceedings of the Seventh Asia-Pacific Software Engineering Conference
… that formal methods are useful as a modelling tool in requirements engineering. Speci cation languages such as…
Cited by 3 (3 self) – Add To MetaCart

State, Event, Time and Diagram in System Modeling
by Jin Song Dong — 2001 — in Proc. of ICSE’01
… techniques to model static and dynamic aspects of software systems. Although traditional formal methods have…
Add To MetaCart

Automatic Transformation of UML Models for System Verification
by Daniel Varro, Dániel Varró, Szilvia Gyapay, Andras Pataricza, Contact Person András Pataricza — 2001
… for an automated model transformation system is outlined providing a uniform formal description method…
Cited by 4 (2 self) – Add To MetaCart

Formal Methods for Visual Interaction
by Fabio Paterno, Guest Editor’s Introduction — 1999
…}computer interaction, artificial intelligence, etc.). For example, in cognitive sciences a formal method aims to model…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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