Extended Static Checking of Evolving Programs by Change Contract

QR kód

Extended Static Checking of Evolving Programs by Change Contract

Elmentve itt :

Bibliográfiai részletek
Szerző:	Szőke Gábor
További közreműködők:	Roychoudhury Abhik (Témavezető) Rudolf Ferenc (Témavezető)
Dokumentumtípus:	Szakdolgozat
Megjelent:	2012
Tárgyszavak:	Informatika Natural sciences Computer and information sciences Computer sciences, information science and bioinformatics
Online Access:	http://diploma.bibl.u-szeged.hu/119185

Hasonló tételek

Evolving Rules for Cellular Automata with Genetic Algorithms in Java
Szerző: Muraközi Sándor
Megjelent: (1999)

Üzleti szimulátor modellezett piacon és döntési stratégia tervezését támogató program
Szerző: Berényi Balázs
Megjelent: (2013)

Kommunikáció Windows alatt A Check E-mail program /
Szerző: Mácsai Krisztián
Megjelent: (2000)

Szenzoros méréseket segítő program készítése Arduinohoz
Szerző: Kovács Marcell
Megjelent: (2019)

Öntözőrendszer tervező program megvalósítása Java-ban
Szerző: Gacs Katalin
Megjelent: (2020)

Bérelszámoló program
Szerző: Horváth Ibolya
Megjelent: (2002)

CHANGE nyelvű programok fordítása INTEL-8080 Assembly-re, CHANGE tesztprogramok
Szerző: Török Zoltán
Megjelent: (1983)

Otthoni költségvetéstervező program C# nyelven, Visual Studio .NET környezetben
Szerző: Zoboki Árpád
Megjelent: (2019)

Az angol keringő alaplépéseit bemutató program fejlesztése Unity-ben
Szerző: Csjernyik István
Megjelent: (2020)

Change nyelvű fordító az Intel 8080 mikroprocesszor assembly nyelvére, Change tesztprogramok.
Szerző: Király Endre
Megjelent: (1983)

Személyi nyilvántartó program
Szerző: Sass András
Megjelent: (1992)

Vagyonjegyérték-nyilvántartó program
Szerző: Sebjan-Farkas Zsolt
Megjelent: (1992)

Lövészeti nyilvántartó program
Szerző: Kustyán Katalin
Megjelent: (1993)

Tenyészbika nyilvántartó program
Szerző: Skorka Gabriella
Megjelent: (1994)

Tanuló nyilvántartó program
Szerző: Balog Andrea
Megjelent: (1996)

Raktárkészlet-nyilvántartó program
Szerző: Lövész Csaba
Megjelent: (1998)

MentIS archiváló program
Szerző: László Éva Zsuzsanna
Megjelent: (2002)

Grafikus chat program
Szerző: Aczél Péter
Megjelent: (2008)

Továbbtanulási tájékoztató program
Szerző: Prozlik Máté
Megjelent: (2010)

Paraméteres listázó program
Szerző: Figura Ágnes
Megjelent: (1988)

Általános-költségfelosztó program
Szerző: Balázs Ádám
Megjelent: (2011)

VRML-kód generáló program Linux platformon
Szerző: Kovács Gábor
Megjelent: (2001)

A „Track” Weblap-szerkesztő program bemutatása
Szerző: Lobog Gábor
Megjelent: (2001)

Köztisztviselői személyzeti nyilvántartó program
Szerző: Mityók Judit
Megjelent: (1995)

Elektronikai-áruház nyilvántartó program
Szerző: Kósa Edit
Megjelent: (1997)

California Fitness Árazó Program
Szerző: Ballók Péter
Megjelent: (1998)

Gépjármű hűtőrendszereket katalogizáló program
Szerző: Csasztvan Zsolt
Megjelent: (2007)

Sakkfeladványfejtő program PASCAL nyelven
Szerző: Kiszely György
Megjelent: (1988)

Termelési tervszámító program fejlesztése
Szerző: Kun-Szabó Gyula
Megjelent: (1990)

Szintvonalas térkép rajzoló program
Szerző: Vaszkó Julianna
Megjelent: (2002)

Célorientált nyelveket definiáló, alkalmazó CHANGE programok.
Szerző: Szikszai Katalin
Megjelent: (1983)

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

Kerskedelmi raktárnyilvántartó és számlázó program
Szerző: Rodriguez Sainz Aldo
Megjelent: (1995)

Szabadság- és betegállomány nyilvántartó program
Szerző: Bednárik Edina
Megjelent: (1996)

Elektronikus közútjármű-mérleg adatgyűjtő program
Szerző: Cz. Nagy Zsuzsanna
Megjelent: (1997)

Személyi törzsadatállományt kezelő program fejlesztése
Szerző: Kővári Zsolt
Megjelent: (1989)

Mobil robotok tájékozódásának hardverelemei
Szerző: Kósa Gábor
Megjelent: (2007)

Programozási lehetőségek a 3D méréstechnikában
Szerző: Kovács Gábor
Megjelent: (2014)

Ütemezési feladatot megoldó program. Felhasználói kézikönyv
Szerző: Bagó Zsolt
Megjelent: (1994)

Ügyviteli program borászati üzemek, pincészetek részére
Szerző: Géczi Lajos
Megjelent: (1994)