Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; FAACS 2017 --  1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems .

Computer science. --- Computer organization. --- Software engineering. --- Computer logic. --- Computers. --- Computer Science. --- Logics and Meanings of Programs. --- Computer Systems Organization and Communication Networks. --- Software Engineering/Programming and Operating Systems. --- Computing Methodologies. --- Computing Milieux. --- Computer Hardware. --- Computer hardware. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Logic design. --- Computer network architectures. --- Artificial intelligence. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Software engineering --- Formal methods (Computer science) --- System design

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Antwerp, Belgium. Previous workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems wereheld in Oxford(March 1996),Cesena (July 1997),Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July 2002), Trondheim(June2003),Linz(September 2004),Lisbon(September 2005),Bonn (August 2006), Berlin (July 2007), L'Aquila (September 2008), and Eindhoven (November 2009). The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. The FMICS 2010 workshop was co-located with ASE 2010, the 25th IEEE/ACMInternationalConferenceonAutomatedSoftwareEngineering,which o?ereda choiceofeventsintheareainadditionto themainconference.More- formation about ASE 2010 and the co-located events can be found on http://soft.vub.ac.be/ase2010/.

Computer Science. --- Software Engineering. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Special Purpose and Application-Based Systems. --- Computer science. --- Software engineering. --- Logic design. --- Informatique --- Génie logiciel --- Structure logique --- Formal methods (Computer science) --- Software engineering --- Computer programs --- Computer software --- Verification --- Reliability --- Congresses --- Engineering & Applied Sciences --- Computer Science --- Information Technology --- Software Engineering --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Special purpose computers. --- Programming languages (Electronic computers). --- Computer logic. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Special purpose computers --- Computers --- Informatics --- Science --- Computer files --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Antwerpen <2010> --- Formal methods (Computer science) - Congresses --- Software engineering - Congresses --- Computer programs - Verification - Congresses --- Computer programs - Reliability - Congresses --- Computer software - Verification - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)