Searching for "Formalization of UML-Statecharts." – sorted by Relevance.

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

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

12 documents found, showing 1 through 10. Next 10 →

Formalization of UML Statechart Models Using Concurrent
by Regular Expressions Jansamak, S. Jansamak, A. Surarerks — ACSC
…Abstract Formalization of UML Statechart Models Using Concurrent Regular Expressions S. Jansamak A…
Cited by 1 (0 self) – Add To MetaCart

Formalization of UML Statechart Diagrams by Hierarchial Transition Systems
by Juha Kortelainen, Elina Kuosmanen
…Formalization of UML Statechart Diagrams by Hierarchial Transition Systems Juha Kortelainen 1…
Add To MetaCart

Can Intuition Become Rigorous?
by Foundations For Uml, José Luis, Fernández Alemán, Ambrosio Toval Álvarez
… on the part of any particular UML Statechart diagram can be mathematically proven or disproven. The formal…
Add To MetaCart

Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
by Jos Luis, José Luis Fernández Alemán, Ambrosio Toval Álvarez, Tic--c- Om Menhir
… on the algebraic specification formal theory, which is used to formalize the UML Statechart Diagrams…
Add To MetaCart

General Accounting Office, United States (November 1999) Budget Surpluses: Experiences of Other Nations and Implications for the United States. Report to the Chairman and ranking Minority Member, Committee on the Budget
by Manuel Enciso, Inmaculada P. Guzmán, Carlos Rossi — 2002 — in: ECOOP 2002 Workshop on Integration and Transformation of UML Models
… on the transformation of UML notations into other formal notations: we transform statecharts into temporal logic…
Cited by 1 (0 self) – Add To MetaCart

Modeling and Verification of Manufacturing Systems: A Domain-Specific Formalization of UML
by Stephan Flake, Key Words — 2003 — 7th IASTED International Conference on Software Engineering and Applications (SEA 2003
… of identified general formalization steps. We investigate the applicability of UML class diagrams, Statecharts…
Cited by 1 (1 self) – Add To MetaCart

Automated Formal Verification of Model Tranformations
by Daniel Varro, Dániel Varró, Andras Pataricza
… transformation, model checking, formal verification, MDA, UML statecharts, Petri nets. 1 Introduction Nowadays…
Add To MetaCart

Improving UML with Petri nets
by Luciano Baresi, Mauro Pezzè, Baresi Pezzè — 2001 — ENTCS
… and Paltor formalize UML statecharts to allow UML (specific) models to be analyzable by means of model…
Cited by 4 (0 self) – Add To MetaCart

Analyzing Software Architecture based on Statechart Semantics
by Marcio Dias, Marlon Vieira, Debra Richardson — in 15th Brazilian Symposium on Software Engineering (SBES 2001). 2001. Rio de Janeiro
… then to accommodate users' demands. Lilius and Porres [29] discuss the formalization of UML statecharts, presenting a…
Cited by 1 (1 self) – Add To MetaCart

Executable Design Models for a Pervasive Healthcare Middleware System
by Jens Bæk Jørgensen, Søren Christensen — In Proc. of 5 th UML Conference, Volume 2460 of LNCS
…, Heidelberg, Germany, 2001. 2. M.v.d. Beeck. Formalization of UML-Statecharts. In Gogolla and Kobryn [5]. 3. J…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

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