Choose an application

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

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Computer software engineering --- Engineering --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software engineering --- Formal methods (Computer science)

Choose an application

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

Excavations (Archaeology) --- Architecture, Ancient --- Human settlements --- Material culture --- Iron age --- Fouilles (Archéologie) --- Architecture antique --- Etablissements humains --- Culture matérielle --- Age du fer --- Montlaurès (France) --- Montlaurès (France) --- Antiquities --- Antiquités

Choose an application

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

Government liability (International law) --- Foreign trade regulation --- Etat --- Commerce extérieur --- Responsabilité (Droit international) --- Réglementation --- World Trade Organization --- Relations internationales --- Environnement --- Gouvernance --- Aspect environnemental --- Droit international --- International relations --- Environmental law, International --- Environnement (Droit international) --- Environmental aspects --- Aspect de l'environnement --- Aspect environnemental. --- Environmental aspects. --- World Trade Organization. --- Droit international.

Choose an application

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

Aprovechar las enseñanzas de la Historia, recurrir al pasado remoto o reciente para mostrar en sus héroes, recreados por el teatro, su dimensión arquetípica y modélica, tales son los propósitos de la dramatización de la materia histórica durante el Siglo de Oro español. La Historia no sólo sirvió de mero marco temporal para ubicar la acción dramática de las piezas en un contexto preciso. Las variaciones, anacronismos evidentes o sincronismos implícitos, a partir dde las fuentes manejadas debe...

Spanish drama --- Spanish drama. --- Spanisch --- Siglo de oro --- Drama --- History and criticism --- Classical period. --- 1500-1700 --- Dramatik --- Schauspiel --- Theaterstück --- Dramen --- Dramatisches Werk --- Literatur --- <> Dramatische --- Sprechtheater --- Goldenes Zeitalter --- Spanien --- 1500-1680 --- Kastilisch --- Spanische Sprache --- Iberoromanisch --- Spanish literature --- Classical Period --- Early Modern Period --- poética --- siclo de Oro --- historia --- temporalidad --- español --- dramatización --- tiempo --- estética