TY - BOOK ID - 8657165 TI - Fundamental approaches to software engineering : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings AU - Chechik, Marsha. AU - Wirsing, M. PY - 2009 SN - 3642005926 3642005934 PB - Berlin ; Heidelberg : Springer, DB - UniCat KW - Computer Science KW - Engineering & Applied Sciences KW - Information Technology KW - Software Engineering KW - Software engineering KW - Software architecture KW - Architecture, Software KW - Computer software KW - Computer software architecture KW - Architecture KW - Design KW - Computer science. KW - Software engineering. KW - Computer programming. KW - Programming languages (Electronic computers). KW - Computers. KW - Computer logic. KW - Computer Science. KW - Software Engineering/Programming and Operating Systems. KW - Programming Languages, Compilers, Interpreters. KW - Programming Techniques. KW - Software Engineering. KW - Logics and Meanings of Programs. KW - Computation by Abstract Devices. KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Informatics KW - Science KW - Computer software engineering KW - Engineering KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Cybernetics KW - Calculators KW - Cyberspace KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Programming KW - Compilers (Computer programs). KW - Compilers and Interpreters. KW - Computer Science Logic and Foundations of Programming. KW - Theory of Computation. KW - Compiling programs (Computer programs) KW - Computer programs KW - Programming software KW - Systems software UR - https://www.unicat.be/uniCat?func=search&query=sysid:8657165 AB - This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with 2 tool demonstrations were carefully reviewed and selected from 123 regluar and 9 tool paper submissions. The topics addressed are model-driven development, synthesis and adaptation, modeling, testing and debugging, model analysis, patterns, security, queries and error handling, and tools (demos) and program analysis. ER -