Výsledky vyhledávání - "compositional and refinement-based methodologies"

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Biere, Armin Parker, David

Témata: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Software Engineering, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation, Maths for computer scientists, Systems analysis and design, Algorithms and data structures

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37724

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Biere, Armin Parker, David

Témata: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation

Popis souboru: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; ONIX_20200513_9783030452377_24; OCN: 1152158222; http://library.oapen.org/handle/20.500.12657/37724; https://library.oapen.org/bitstream/20.500.12657/37724/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

Dostupnost: http://library.oapen.org/handle/20.500.12657/37724
https://hdl.handle.net/20.500.12657/37724
https://directory.doabooks.org/handle/20.500.12854/33908
https://hdl.handle.net/20.500.12854/33908
https://library.oapen.org/bitstream/20.500.12657/37724/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

Tools and Algorithms for the Construction and Analysis of Systems ; 2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

Přispěvatelé: Biere, Armin Parker, David

Témata: Theory of Computation, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Computer science, Mathematical theory of computation, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; ONIX_20200513_9783030451905_22; OCN: 1152158068; https://www.springer.com/9783030451905

Dostupnost: http://library.oapen.org/handle/20.500.12657/37722
https://hdl.handle.net/20.500.12657/37722
https://www.springer.com/9783030451905

Tools for the construction and analysis of systems: A special issue for TACAS 2018.

Autoři: Beyer, Dirk Huisman, Marieke

Zdroj: International Journal on Software Tools for Technology Transfer; Dec2020, Vol. 22 Issue 6, p685-687, 3p

Témata: SYSTEMS software, SOFTWARE development tools, TECHNOLOGY transfer, CONSTRUCTION, CONFERENCE papers

FrontMatter.

Zdroj: Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, pI-XIX, 19p

Some advances in tools and algorithms for the construction and analysis of systems.

Autoři: Baier, Christel Tinelli, Cesare

Zdroj: International Journal on Software Tools for Technology Transfer; Nov2017, Vol. 19 Issue 6, p649-652, 4p

Témata: SOFTWARE development tools, ALGORITHMS, PARALLEL computers, MACHINE theory, COMPUTER-aided engineering

FrontMatter.

Zdroj: Tools & Algorithms for the Construction & Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings; 2015, p1-18, 18p

Tools for software verification.

Autoři: Abdulla, Parosh Leino, K.

Zdroj: International Journal on Software Tools for Technology Transfer; Apr2013, Vol. 15 Issue 2, p85-88, 4p

Témata: SOFTWARE verification, SOFTWARE development tools, MACHINE theory, COMPUTER network protocols, COMPUTER programming, ALGORITHMS

Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015).

Autoři: Baier, Christel Tinelli, Cesare

Zdroj: Acta Informatica; Dec2017, Vol. 54 Issue 8, p727-728, 2p

Témata: COMPUTER software development, SOFTWARE verification, ALGORITHMS, DYNAMIC programming, COMPUTER input-output equipment

FrontMatter.

Zdroj: Tools & Algorithms for the Construction & Analysis of Systems (9783642198342); 2011, p1-1, 1p

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Marsha Chechik Jean-François Raskin

Resource Type: eBook.

Témata: Computer science, Machine theory, Compilers (Computer programs), Software engineering

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Software Development & Engineering / General

Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Autoři: Christel Baier Cesare Tinelli

Resource Type: eBook.

Témata: Computer science, Algorithms, Software engineering, Compilers (Computer programs), Machine theory

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 2011, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Autoři: Parosh Aziz Abdulla K. Rustan M. Leino

Resource Type: eBook.

Témata: Software engineering, Computer science, Computer networks, Compilers (Computer programs), Artificial intelligence, Computer programming

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General

Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Autoři: Orna Grumberg Michael Huth

Resource Type: eBook.

Témata: Software engineering, Computer science, Computer networks, Algorithms

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / Algorithms

Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

Autoři: Nicolas Halbwachs Lenore Zuck

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Development--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / Algorithms

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Autoři: Kurt Jensen Andreas Podelski

Resource Type: eBook.

Témata: System design, Computer software--Development--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Autoři: Hubert Garavel John Hatcliff

Resource Type: eBook.

Témata: Computer science, Software engineering, Computer networks, Algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms