Chechik, Marsha.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Fundamental approaches to software engineering12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, Marsha Chechik, Martin Wirsing /
by:
(1998 :); Chechik, Marsha.; SpringerLink (Online service); Wirsing, M.
(Electronic resources)
Tools and algorithms for the construction and analysis of systems22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings /
by:
(1998 :); Chechik, Marsha.; Raskin, Jean-Francois.; SpringerLink (Online service)
(Electronic resources)
CONCUR 2008 - Concurrency Theory19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
by:
(1998 :); Breugel, Franck van, (1966-); Chechik, Marsha.; SpringerLink (Online service)
(Electronic resources)
Formal methods25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings /
by:
(1998 :); Chechik, Marsha.; Katoen, Joost-Pieter.; Leucker, Martin.; SpringerLink (Online service)
(Electronic resources)
Verified Software. Theories, Tools, and Experiments8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
(1998 :); Blazy, Sandrine.; Chechik, Marsha.; SpringerLink (Online service)
(Electronic resources)
Subjects
Theory of Computation.
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Compilers (Computer programs)
Programming Language.
Programming Techniques.
Computation by Abstract Devices.
Computer software
Artificial Intelligence (incl. Robotics)
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
System design
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Parallel processing (Electronic computers)
Computer Science.
System analysis