Rövidített megjelenítés

dc.contributorKozma Lászlóen_EN
dc.creatorSzendrei Rudolfen_EN
dc.date2014-04-30en_EN
dc.date.accessioned2019-08-08T10:32:15Z
dc.date.available2019-08-08T10:32:15Z
dc.identifierISBN 978-963-284-427-5en_EN
dc.identifier.urihttp://dtk.tankonyvtar.hu/xmlui/handle/123456789/3839
dc.descriptionComponent-based Software Development: UML, IDL, CORBA, COM/DCOM and JavaBeans/EJB, reference models, architectural patterns, reference architectures and software architectures, enterprise or business process model, usage model, functional model, structural model and interaction or behavioural model, refinement and translation, normal object form (NOF) and product family concepts, COTS component, SYNTHESIS tool, propositional temporal logic, first-order temporal logic, temporal semantics of concurrent programs, correctness proof methods, tableau-based methods, component verification by model checking.en_EN
dc.formattext/xmlen_EN
dc.languageenen_EN
dc.publisherEötvös Loránd University Faculty of Informaticsen_EN
dc.rightsSzendrei Rudolfen_EN
dc.rightsKozma Lászlóen_EN
dc.rightsEötvös Loránd University Faculty of Informaticsen_EN
dc.subjectUMLen_EN
dc.subjectKobrAen_EN
dc.subjectSYNTHESIS Toolen_EN
dc.subjectLTL To Büchi Automataen_EN
dc.subjectIDLen_EN
dc.titleComponent Based Software Developmenten_EN
dc.typeTankönyven_EN
dtk.firComputer Science and Information Technologyen_EN
dtk.oecd01. Natural sciences::01.02. Computer and information sciencesen_EN
dtk.playerepubreaderen_EN
dtk.purchaseTÁMOP-4.1.2.A/1-11/1-2011-0052 Eötvös Loránd Tudományegyetemen_EN
dtk.size195 p.en_EN
dtk.typebooken_EN
dtk.udc---- MAIN TABLES::0 SCIENCE AND KNOWLEDGE. ORGANIZATION. COMPUTER SCIENCE. INFORMATION. DOCUMENTATION. LIBRARIANSHIP. INSTITUTIONS. PUBLICATIONS::004 Computer science and technology. Computing. Data processing::004.4 Software::004.4`2/`6 Special auxiliary subdivision for software::004.4`2 Software development toolsen_EN


A dokumentumhoz tartozó fájlok

Thumbnail
Thumbnail
Thumbnail
Thumbnail

A dokumentum a következő gyűjtemény(ek)ben található meg

Rövidített megjelenítés