A comparative study of C++ standard template library's formal specification [abstract] /

QR kód

A comparative study of C++ standard template library's formal specification [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Pataki Norbert Dévai Gergely
Testületi szerző:	Conference of PhD students in computer science (6.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2008
Sorozat:	Conference of PhD Students in Computer Science 6
Kulcsszavak:	Számítástechnika - előadáskivonat, Programozási nyelv - C++ - előadáskivonat, Programozás - 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/59926

Hasonló tételek

A comparative study on the privacy risks of face recognition libraries
Szerző: Fábián István, et al.
Megjelent: (2021)

Concept-based C++ template overload compilation with XML transformations [abstract] /
Szerző: Payrits Szabolcs, et al.
Megjelent: (2006)

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

Formal grammars in conformance testing [abstract] /
Szerző: Rotter Csaba V.
Megjelent: (2000)

On the index of concavity of neighbourhood templates
Szerző: Pecht J.
Megjelent: (1986)

A formal approach to design patterns [abstract] /
Szerző: Szász Péter
Megjelent: (1998)

Enhancing facial features detection with deformable face templates [abstract] /
Szerző: Sajó Levente
Megjelent: (2008)

Automatically generated Icons for documents of electronic libraries [abstract] /
Szerző: Schmideg Ádám
Megjelent: (1998)

On the formal definition of VDL-objects
Szerző: Fekete I., et al.
Megjelent: (1977)

Formal properties of literal shuffle
Szerző: Bérard Béatrice
Megjelent: (1987)

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

A formal approach for clustering classes in software components [abstract] /
Szerző: Jişa Dan Laurenţiu
Megjelent: (2004)

On the optimization of library information retrieval systems
Szerző: Iványi Antal M., et al.
Megjelent: (1986)

An application of truth functions in formalized diagnostics
Szerző: Ádám András
Megjelent: (1976)

Tree transducers and formal tree series
Szerző: Kuich Werner
Megjelent: (1999)

A new mathematical formalism for the TTCN 3 core language [abstract] /
Szerző: Jaskó Szilárd
Megjelent: (2004)

Simulation and formal analysis of workflow models using model transformations [abstract] /
Szerző: Kovács Máté
Megjelent: (2006)

Kleene theorems for skew formal power series
Szerző: Kuich Werner
Megjelent: (2006)

Distance transform and template matching based methods for localization of barcodes and QR codes
Szerző: Katona Melinda, et al.
Megjelent: (2020)

The vector library testing of feldspar programming language based on axiomatic semantics [abstract] /
Szerző: Bunyik Karina, et al.
Megjelent: (2010)

Formal analysis of existing checkpointing systems and introduction of a novel approach [abstract] /
Szerző: Kovács József
Megjelent: (2006)

Target‐templated Construction of Functional Proteomimetics Using Photo‐foldamer Libraries
Szerző: Wéber Edit, et al.
Megjelent: (2024)

A comparative study of spanning tree and gossip protocols for aggregation
Szerző: Nyers Lehel, et al.
Megjelent: (2015)

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)

Automatic test purpose generation based on formal grammar representation of communication protocols [abstract] /
Szerző: Gőgös Barnabás
Megjelent: (2000)

Standardizing the MR image intensity scale and its applications [abstract] /
Szerző: Nyúl László G., et al.
Megjelent: (2000)

Metaprogramming on the proof level [abstract] /
Szerző: Dévai Gergely
Megjelent: (2008)

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

Programming language elements for correctness proofs [abstract] /
Szerző: Dévai Gergely
Megjelent: (2006)

A new concept of effective regression test generation in a C++ specific environment
Szerző: Biczó Mihály, et al.
Megjelent: (2008)

On the real-time recognition of formal languages in cellular automata
Szerző: Pecht J.
Megjelent: (1983)

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

Structure of program runs of non-standard time
Szerző: Csirmaz László
Megjelent: (1980)

Surprises with different C/C++ implementations and a quizzical MAPLE example - two short case studies in programming [abstract] /
Szerző: Bársony István
Megjelent: (2010)

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

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

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

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

Building the instances of columbus schema for C/C++ preprocessing [abstract] /
Szerző: Vidács László
Megjelent: (2004)