Comparing specification with proved properties of clean dynamics [abstract] /

QR kód

Comparing specification with proved properties of clean dynamics [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Lövei László Tejfel Máté Mészáros Mónika Horváth Zoltán Kozsik Tamás
Testületi szerző:	Conference of PhD students in computer science (5.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2006
Sorozat:	Conference of PhD Students in Computer Science 5
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/59871

Hasonló tételek

Proving quality of service constraints of multimedia systems [abstract] /
Szerző: Mészáros Mónika
Megjelent: (2006)

Control language for distributed clean [abstract] /
Szerző: Hernyák Zoltán, et al.
Megjelent: (2004)

On the incompleteness of proving partial correctness
Szerző: Gergely Tamás, et al.
Megjelent: (1978)

An effective theorem proving algorithm
Szerző: Ecsedi-Tóth Péter, et al.
Megjelent: (1977)

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

Prototype environment for refactoring clean programs [abstract] /
Szerző: Szabó-Nacsa Rozália, et al.
Megjelent: (2004)

Parallel functional reactive skeletons in concurrent clean [abstract] /
Szerző: Horváth Zoltán, et al.
Megjelent: (2000)

A comparative study of C++ standard template library's formal specification [abstract] /
Szerző: Pataki Norbert, et al.
Megjelent: (2008)

Extending the Sparkle Core language with object abstraction
Szerző: Tejfel Máté, et al.
Megjelent: (2005)

Extending the Sparkle Core language with object [abstract] /
Szerző: Horváth Zoltán, et al.
Megjelent: (2004)

Coordination language for distributed clean
Szerző: Horváth Zoltán, et al.
Megjelent: (2005)

Dynamic simulations [abstract] /
Szerző: Sára Levente
Megjelent: (2000)

Loop elimination, a sound optimisation technique for PTTP related theorem proving
Szerző: Zombori Zsolt, et al.
Megjelent: (2012)

Call graph and data flow analysis of a dynamic functional language [abstract] /
Szerző: Nagy Tamás, et al.
Megjelent: (2008)

Notes on the properties of dynamic programming used in direct load control
Szerző: Aho Isto
Megjelent: (2004)

Is JavaScript Call Graph Extraction Solved Yet? A Comparative Study of Static and Dynamic Tools
Szerző: Antal Gábor, et al.
Megjelent: (2023)

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)

Questions on complex dynamic security [abstract] /
Szerző: Kincses Zoltán
Megjelent: (1998)

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

Refactoring Erlang programs [abstract] /
Szerző: Horváth Zoltán, et al.
Megjelent: (2006)

Text cleaning with transformer language models for Hungarian
Szerző: Madarász Gábor, et al.
Megjelent: (2025)

Implementing and comparing impact algorithms [abstract] /
Szerző: Faragó Szabolcs
Megjelent: (2006)

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

Static specification completeness checking of UML state machines [abstract] /
Szerző: Pap Zsigmond
Megjelent: (2000)

Dynamic model for the system testing process [abstract] /
Szerző: Stikkel Gábor
Megjelent: (2004)

Alternative method for modeling dynamic systems [abstract] /
Szerző: Fekete Gusztáv, et al.
Megjelent: (2024)

Parallel functional programming on cluster [abstract] /
Szerző: Zsók Viktória, et al.
Megjelent: (2002)

Automatic test selection based on CEFSM specifications
Szerző: Kovács Gábor, et al.
Megjelent: (2002)

Software specification methods and attribute grammars
Szerző: Riedewald Guenter, et al.
Megjelent: (1987)

Declarative mapping between concrete and abstract syntax of domain-specific visual languages [abstract] /
Szerző: Ráth István
Megjelent: (2006)

The dynamic vehicle rescheduling problem
Szerző: Dávid Balázs, et al.
Megjelent: (2017)

Test generation with dynamic impact analysis for C++ programs [abstract] /
Szerző: Biczó Mihály, et al.
Megjelent: (2006)

Dynamic communities and their detection
Szerző: Bóta András, et al.
Megjelent: (2011)

Properties of an intelligent cardiovascular monitoring system [abstract] /
Szerző: Balázs Gábor, et al.
Megjelent: (2004)

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

Planning and developing dynamic Web Sites in different platforms [abstract] /
Szerző: Adamkó Attila, et al.
Megjelent: (2004)

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

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

Mining dynamic databases by weighting
Szerző: Zhang Shichao, et al.
Megjelent: (2003)