Static specification completeness checking of UML state machines [abstract] /

QR kód

Static specification completeness checking of UML state machines [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Pap Zsigmond
Testületi szerző:	Conference of PhD students in computer science (2.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2000
Sorozat:	Conference of PhD Students in Computer Science 2
Kulcsszavak:	Számítástechnika - előadáskivonat
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/59620

Hasonló tételek

Verification of UML 2 state machines by automated model transformation to the SAL model checker [abstract] /
Szerző: Sisak Áron
Megjelent: (2008)

Functor state machines
Szerző: Horváth Gábor
Megjelent: (1981)

Dynamic analysis of UML statemachines [abstract] /
Szerző: Huszerl Gábor
Megjelent: (2000)

Entropy modeling of information in finite state machines networks [abstract] /
Szerző: Fomina Elena
Megjelent: (2002)

Model checking of visual modeling languages [abstract] /
Szerző: Schmidt Ákos
Megjelent: (2004)

Definition of a parallel execution model with abstract state machines [abstract] /
Szerző: Németh Zsolt
Megjelent: (2000)

Code generation from UML models [abstract] /
Szerző: Frohner Ákos, et al.
Megjelent: (2000)

UML2 and model-driven development [abstract] /
Szerző: Papp Ágnes
Megjelent: (2004)

Applicability of UML in protocol and test development [abstract] /
Szerző: Kasza Tamás, et al.
Megjelent: (2002)

Definition of a parallel execution model with abstract state machines
Szerző: Németh Zsolt
Megjelent: (2002)

Distinguishing experiments for timed nondeterministic finite state machine
Szerző: El-Fakih Khaled
Megjelent: (2013)

Static slicing of binary executables [abstract] /
Szerző: Kiss Ákos, et al.
Megjelent: (2002)

Efficient static impact analysis [abstract] /
Szerző: Jász Judit
Megjelent: (2008)

Aspect-UML-driven model-based software development [abstract] /
Szerző: Lengyel László, et al.
Megjelent: (2006)

Comparative study of four UML based CASE tools [abstract] /
Szerző: Jişa Dan Laurenţiu
Megjelent: (2002)

Improving saturation-based bounded model checking
Szerző: Darvas Dániel, et al.
Megjelent: (2016)

Automatic checking of the usage of the C++ move semantics
Szerző: Baráth Áron, et al.
Megjelent: (2015)

Comparison of static- and dynamic call graphs [abstract] /
Szerző: Horváth Endre, et al.
Megjelent: (2006)

Schedule on parallel machines in the case of individual machine-set [abstract] /
Szerző: Vaik Zsuzsanna
Megjelent: (2004)

Static type checking of model transformation programs
Szerző: Ujhelyi Zoltán
Megjelent: (2010)

Protocol state machine reverse engineering with a teaching-learning approach
Szerző: Székely Gábor, et al.
Megjelent: (2021)

Comparison on static slicing of C and binary programs [abstract] /
Szerző: Kiss Ákos
Megjelent: (2004)

Analysis of size differences between static and dynamic slices [abstract] /
Szerző: Tóth Gabriella
Megjelent: (2008)

Extended Static Checking of Evolving Programs by Change Contract
Szerző: Szőke Gábor
Megjelent: (2012)

State space transformation a specification language and a program generator : [abstract] /
Szerző: Bárány Vince, et al.
Megjelent: (2000)

Report on the differential testing of static analyzers
Szerző: Horváth Gábor, et al.
Megjelent: (2022)

Static analysis and optimization questions of structural recursions in semistructured databases [abstract] /
Szerző: Benczúr András, et al.
Megjelent: (2004)

Multicontrol Turing machines
Szerző: Révész György
Megjelent: (1977)

On machines as living things
Szerző: Hoi Le
Megjelent: (1977)

Simple deterministic machines
Szerző: Khanh N. T.
Megjelent: (1982)

Implemeting a component-based tool for interactive synthesis of UML statechart diagrams
Szerző: Koskinen Johannes, et al.
Megjelent: (2002)

Transformation and simulation of domain specific languages [abstract] /
Szerző: Vágó Dávid
Megjelent: (2006)

Inline expressions in protocol test specification [abstract] /
Szerző: Fazakas Antal, et al.
Megjelent: (2002)

On the completeness of proving partial correctness
Szerző: Csirmaz László
Megjelent: (1981)

Improved loop execution modeling in the Clang static analyzer
Szerző: Szécsi Péter György, et al.
Megjelent: (2022)

Detecting uninitialized variables in C++ with the Clang static analyzer
Szerző: Umann Kristóf, et al.
Megjelent: (2022)

Dynamic slicing of programs compiled for the Java virtual machine [abstract] /
Szerző: Szegedi Attila, et al.
Megjelent: (2004)

Machine learning methods in synthesis of four bar linkages [abstract] /
Szerző: Ekárt Anikó
Megjelent: (1998)

Comparing specification with proved properties of clean dynamics [abstract] /
Szerző: Lövei László, et al.
Megjelent: (2006)

UML diagramok a gyakorlatban egyetemi tananyag /
Szerző: Tarczali Tünde
Megjelent: (2011)