top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Software engineering and formal methods [electronic resource] : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Software engineering and formal methods [electronic resource] : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Creatore [International Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uruguay)]
Estensione 1 online resource (xiv, 504 p.) : ill. (some col.
Disciplina 005.3
Accesso persona Barthe, Gilles
Pardo, Alberto
Schneider, Gerardo
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Artificial Intelligence (incl. Robotics)
ISBN 9783642246906 (electronic bk.)
3642246907 (electronic bk.)
9783642246890
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960088593503681
[International Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uruguay)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Implementation and application of functional languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010 : revised selected papers / Jurriaan Hage, Marco T. Morazán (eds)
Implementation and application of functional languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010 : revised selected papers / Jurriaan Hage, Marco T. Morazán (eds)
Creatore [International Symposium on Implementation and Application of Functional Languages (22nd : 2010 : Alphen aan den Rijn, Netherlands)]
Estensione 1 online resource (x, 216 p.) : ill
Disciplina 005.13
Accesso persona Hage, Jurriaan
Morazán, Marco T.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Programming Techniques
ISBN 9783642242762 (electronic bk.)
3642242766 (electronic bk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960088123503681
[International Symposium on Implementation and Application of Functional Languages (22nd : 2010 : Alphen aan den Rijn, Netherlands)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Fundamental approaches to software engineering [electronic resource] : 15th International Conference, FASE 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Juan de Lara, Andrea Zisman (eds.).
Fundamental approaches to software engineering [electronic resource] : 15th International Conference, FASE 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Juan de Lara, Andrea Zisman (eds.).
Creatore [FASE 2012 (2012 : Tallinn, Estonia)]
Estensione 1 online resource (xvi, 518 p.)
Disciplina 005.1
Accesso persona Lara, Juan de (Lara Jaramillo)
Zisman, Andrea
Accesso convegno ETAPS (Conference) (2012 : Tallinn, Estonia)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Information Systems
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
ISBN 9783642288722 (electronic bk.)
3642288723 (electronic bk.)
3642288715
9783642288715
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Distributed Process Discovery and Conformance Checking / Wil M. P. van der Aalst -- Model-Driven Techniques to Enhance Architectural Languages Interoperability / Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio -- Moving from Specifications to Contracts in Component-Based Design / Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen and Axel Legay, et al. -- The SynchAADL2Maude Tool / Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer and Abdullah Al-Nayeem -- Consistency of Service Composition / José Luiz Fiadeiro and Antónia Lopes -- Stable Availability under Denial of Service Attacks through Formal Patterns / Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer and Martin Wirsing -- Loose Programming with PROPHETS / Stefan Naujokat, Anna-Lena Lamprecht and Bernhard Steffen -- Schedule Insensitivity Reduction / Vineet Kahlon -- Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems / Leo Hatvani, Paul Pettersson and Cristina Seceleanu -- Verified Resource Guarantees for Heap Manipulating Programs / Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle and Guillermo Román-Díez -- An Operational Decision Support Framework for Monitoring Business Constraints / Fabrizio Maria Maggi, Marco Montali and Wil M. P. van der Aalst.
Intermodeling, Queries, and Kleisli Categories / Zinovy Diskin, Tom Maibaum and Krzysztof Czarnecki -- Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars / Frank Hermann, Hartmut Ehrig, Claudia Ermel and Fernando Orejas -- Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus / Julian Bradfield and Perdita Stevens -- Graph Transforming Java Data / Maarten de Mol, Arend Rensink and James J. Hunt -- Language Independent Refinement Using Partial Modeling / Rick Salay, Michalis Famelis and Marsha Chechik -- A Conceptual Framework for Adaptation / Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente and Andrea Vandin -- Applying Design by Contract to Feature-Oriented Programming / Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel and Gunter Saake -- Integration Testing of Software Product Lines Using Compositional Symbolic Execution / Jiangfan Shi, Myra B. Cohen and Matthew B. Dwyer -- Combining Related Products into Product Lines / Julia Rubin and Marsha Chechik -- Tracing Your Maintenance Work - A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages / Andreas Mauczka, Markus Huber, Christian Schanes, Wolfgang Schramm and Mario Bernhart, et al. -- Cohesive and Isolated Development with Branches / Earl T. Barr, Christian Bird, Peter C. Rigby, Abram Hindle and Daniel M. German, et al.
Making Software Integration Really Continuous / Mário Luís Guimarães and António Rito Silva -- Extracting Widget Descriptions from GUIs / Giovanni Becce, Leonardo Mariani, Oliviero Riganelli and Mauro Santoro -- Language-Theoretic Abstraction Refinement / Zhenyue Long, Georgel Calin, Rupak Majumdar and Roland Meyer -- Learning from Vacuously Satisfiable Scenario-Based Specifications / Dalal Alrajeh, Jeff Kramer, Alessandra Russo and Sebastian Uchitel -- Explanations for Regular Expressions / Martin Erwig and Rahul Gopinath -- On the Danger of Coverage Directed Test Case Generation / Matt Staats, Gregory Gay, Michael Whalen and Mats Heimdahl -- Reduction of Test Suites Using Mutation / Macario Polo Usaola, Pedro Reales Mateo and Beatriz Pérez Lamancha -- Model-Based Filtering of Combinatorial Test Suites / Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau and Julien Botella -- A New Design Defects Classification: Marrying Detection and Correction / Rim Mahouachi, Marouane Kessentini and Khaled Ghedira -- Fine Slicing / Theory and Applications for Computation Extraction / Aharon Abadi, Ran Ettinger and Yishai A. Feldman -- System Dependence Graphs in Sequential Erlang / Josep Silva, Salvador Tamarit and César Tomás -- A Domain-Specific Language for Scripting Refactorings in Erlang / Huiqing Li and Simon Thompson.
Record Nr. UPENN-9960093323503681
[FASE 2012 (2012 : Tallinn, Estonia)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Logics in artificial intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.).
Logics in artificial intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.).
Creatore [JELIA 2012 (2012 : Toulouse, France)]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Fariñas del Cerro, Luis
Herzig, Andreas
Mengin, Jérôme
Genere/Forma Electronic books
Soggetto non controllato Computer science
Logic design
Information storage and retrieval systems
Artificial intelligence
Computer vision
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Techniques
ISBN 9783642333538 (electronic bk.)
3642333532 (electronic bk.)
9783642333521
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models / Régis Alenda and Nicola Olivetti -- Nested Sequent Calculi for Conditional Logics / Régis Alenda, Nicola Olivetti and Gian Luca Pozzato -- Conflict-Tolerant Semantics for Argumentation Frameworks / Ofer Arieli -- Knowledge Means 'All', Belief Means 'Most' / Dimitris Askounis, Costas D. Koutras and Yorgos Zikos -- Generalized DEL-Sequents / Guillaume Aucher, Bastien Maubert and François Schwarzentruber -- Deciding the Bisimilarity Relation between Datalog Goals / Philippe Balbiani and Antoun Yaacoub -- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results / Harald Beck, Thomas Eiter and Thomas Krennwallner -- Conditional Epistemic Planning / Mikkel Birkegaard Andersen, Thomas Bolander and Martin Holm Jensen -- PTL: A Propositional Typicality Logic / Richard Booth, Thomas Meyer and Ivan Varzinczak -- The Complexity of One-Agent Refinement Modal Logic / Laura Bozzelli, Hans van Ditmarsch and Sophie Pinchinat -- The View-Update Problem for Indefinite Databases / Luciano Caroprese, Irina Trubitsyna, Mirosław Truszczyński and Ester Zumpano --
Three-Valued Logics for Incomplete Information and Epistemic Logic / Davide Ciucci and Didier Dubois -- Exploiting Unfounded Sets for HEX-Program Evaluation / Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl and Peter Schüller -- Using Satisfiability for Non-optimal Temporal Planning / Masood Feyzbakhsh Rankooh, Ali Mahjoob and Gholamreza Ghassem-Sani -- How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic / Marc Finthammer and Christoph Beierle -- Exact Query Reformulation with First-Order Ontologies and Databases / Enrico Franconi, Volha Kerhet and Nhung Ngo -- A Selective Semantics for Logic Programs with Preferences / Alfredo Gabaldon -- A Minimal Model Semantics for Nonmonotonic Reasoning / Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato -- Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights / Lluís Godo, Enrico Marchioni and Pere Pardo -- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility / Joanna Golińska-Pilarek --
Fault Tolerance in Belief Formation Networks / Sarah Holbrook and Pavel Naumov -- Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference / Naoya Inoue and Kentaro Inui -- Belief Base Change Operations for Answer Set Programming / Patrick Krümpelmann and Gabriele Kern-Isberner -- A Framework for Semantic-Based Similarity Measures for ELH-Concepts / Karsten Lehmann and Anni-Yasmin Turhan -- Sequent Systems for Lewis' Conditional Logics / Björn Lellmann and Dirk Pattinson -- Relevant Minimal Change in Belief Update / Laurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin and Dongmo Zhang -- Minimal Proof Search for Modal Logic K Model Checking / Abdallah Saffidine -- Building an Epistemic Logic for Argumentation / François Schwarzentruber, Srdjan Vesic and Tjitze Rienstra -- A Unifying Perspective on Knowledge Updates / Martin Slota and João Leite -- Verifying Brahms Human-Robot Teamwork Models / Richard Stocker, Louise Dennis, Clare Dixon and Michael Fisher -- On Satisfiability in ATL with Strategy Contexts / Nicolas Troquard and Dirk Walther --
Jumping to Conclusions / A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments / Bart Verheij -- Beyond Maxi-Consistent Argumentation Operators / Srdjan Vesic and Leendert van der Torre -- Reasoning about Agent Programs Using ATL-Like Logics / Nitin Yadav and Sebastian Sardina -- Qualitative Approximate Behavior Composition / Nitin Yadav and Sebastian Sardina -- A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information / Anna Zamansky -- DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas / Julien Balax, Florence Dupin de Saint-Cyr and David Villard -- OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver / Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger and Antonius Weinzierl -- The Multi-Engine ASP Solver me-asp / Marco Maratea, Luca Pulina and Francesco Ricca -- A System for the Use of Answer Set Programming in Reinforcement Learning / Matthias Nickles -- The Tableau Prover Generator MetTeL2 / Dmitry Tishkovsky, Renate A. Schmidt and Mohammad Khodadadi.
Record Nr. UPENN-9960099763503681
[JELIA 2012 (2012 : Toulouse, France)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Compiler construction [electronic resource] : 21st International Conference, CC 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Michael O'Boyle (ed.).
Compiler construction [electronic resource] : 21st International Conference, CC 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Michael O'Boyle (ed.).
Creatore [CC (Conference) (21st : 2012 : Tallinn, Estonia)]
Estensione 1 online resource (xvi, 243 p.)
Disciplina 005.4/53
Accesso persona O'Boyle, M. (Michael)
Accesso convegno ETAPS (Conference) (2012 : Tallinn, Estonia)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Programming Languages, Compilers, Interpreters
Programming Techniques
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
ISBN 9783642286520 (electronic bk.)
3642286526 (electronic bk.)
3642286518
9783642286513
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Improving Performance of OpenCL on CPUs / Ralf Karrenberg and Sebastian Hack -- Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality / Swapneela Unkule, Christopher Shaltz and Apan Qasem -- Programming Paradigm Driven Heap Analysis / Mark Marron, Ondřej Lhoták and Anindya Banerjee -- Parallel Replication-Based Points-To Analysis / Sandeep Putta and Rupesh Nasre -- A New Method for Program Inversion / Cong Hou, George Vulov, Daniel Quinlan, David Jefferson and Richard Fujimoto, et al. -- Analytical Bounds for Optimal Tile Size Selection / Jun Shirako, Kamal Sharma, Naznin Fauzia, Louis-Noël Pouchet and J. Ramanujam, et al. -- Static Detection of Unsafe Component Loadings / Taeho Kwon and Zhendong Su -- Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis / Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivančić and Aarti Gupta, et al. -- GC-Safe Interprocedural Unboxing / Leaf Petersen and Neal Glew -- Compiler Support for Value-Based Indirect Branch Prediction / Muhammad Umar Farooq, Lei Chen and Lizy Kurian John -- Compiler Support for Fine-Grain Software-Only Checkpointing / Chuck (Chengyan) Zhao, J. Gregory Steffan, Cristiana Amza and Allan Kielstra -- VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework / Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner and Philippe Clauss -- Sambamba: A Runtime System for Online Adaptive Parallelization / Kevin Streit, Clemens Hammacher, Andreas Zeller and Sebastian Hack.
Record Nr. UPENN-9960093353503681
[CC (Conference) (21st : 2012 : Tallinn, Estonia)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Java kompakt [electronic resource] : Eine Einführung in die Software-Entwicklung mit Java / von Matthias Hölzl, Allaithy Raed, Martin Wirsing
Java kompakt [electronic resource] : Eine Einführung in die Software-Entwicklung mit Java / von Matthias Hölzl, Allaithy Raed, Martin Wirsing
Creatore [Hölzl, Matthias]
Estensione 1 online resource
Disciplina 005.11
Accesso persona Raed, Allaithy.author.
Wirsing, M. (Martin)author.
Soggetto non controllato Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
ISBN 9783642285042
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione ger
Nota di contenuto Die Java Umgebung -- Ein Schnelleinstieg in Java -- Klassen und Objekte -- Methoden in Java -- Primitive Datentypen -- Komplexe Datentypen -- Kontrollfluss -- Vererbung und Polymorphie -- Innere Klassen, abstrakte Klassen und Interfaces -- Einführung in Datenstrukturen -- Ausnahmebehandlung und Debugging -- Einführung in die objektorientierte Softwareenwicklung.
Record Nr. UCHICAGO-9283858
[Hölzl, Matthias]  
Risorse elettroniche
Lo trovi qui: University of Chicago
Pro Visual C++/CLI and the .NET 3.5 Platform [electronic resource] / by Stephen R. G. Fraser
Pro Visual C++/CLI and the .NET 3.5 Platform [electronic resource] / by Stephen R. G. Fraser
Creatore [Fraser, Stephen R. G.]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Programming Techniques
Computer Science
ISBN 9781430210542
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7720177
[Fraser, Stephen R. G.]  
Software
Lo trovi qui: University of Chicago
Safe and secure software reuse : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / John Favaro, Maurizio Morisio (eds.).
Safe and secure software reuse : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / John Favaro, Maurizio Morisio (eds.).
Creatore [International Conference on Software Reuse (13th : 2013 : Pisa, Italy)]
Estensione 1 online resource (xiii, 362 pages) : illustrations.
Accesso persona Favaro, J. (John), editor.
Morisio, Maurizio, 1960-editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Software engineering
Programming Techniques
Programming Languages, Compilers, Interpreters
Software Engineering/Programming and Operating Systems
Models and Principles
ISBN 9783642389771
3642389775
9783642389764
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction / Karin Heinrichs, Fritz Oser, Terence Lovat -- Models of Moral Motivation / Fritz Oser -- Foundations of Moral Motivation. "Why be Moral?" a Philosophical Taxonomy of Moral Motivation / Thomas E. Wren -- Moral Motivation and the Four Component Model / Stephen J. Thoma, Muriel J. Bebeau -- Deontic and Responsibility Judgments / Gerhard Minnameier -- Motivation as the Readiness to Act on Moral Commitments / Theresa A. Thorkildsen -- Motivational Theory and Moral Motivation. Ultimate and Proximal (Attribution-Related) Motivational Determinants of Moral Behaviour / Bernard Weiner -- Moral Motivation from the Perspective of the Self-Determination Theory and the Person-Object Theory of Interest / Andreas Krapp -- How Different Motivational Aspects can Affect Moral Behaviour / Regina Vollmeyer, Konstanze Jenderek, Tahmine Tozman -- Justice as a Moral Motive / Anna Baumert, Tobias Rothmund, Nadine Thomas, Mario Gollwitzer, Manfred Schmitt -- Temporal Construal and Moral Motivation / Jens Agerström, Fredrik Björklund -- Moral Self, Identity and Moral Motivation. Moral Motivation through the Perspective of Exemplarity / Lawrence J. Walker -- Moral Motivation, Responsibility and the Development of the Moral Self / Tobias Krettenauer -- The Self and the Management of the Moral Life / Augusto Blasi -- Practical Mysticism, Self-Knowing and Moral Motivation / Terence Lovat -- Developmental Effects, Emotions and Moral Motivation. Moral Motivation and the Happy Victimizer Phenomenon / Gertrud Nunner-Winkler -- The Development of Moral Identity and Moral Motivation in Childhood and Adolescence / Bettina Doering -- Moral Emotion Attributions and Moral Motivation / Luciano Gasser, Eveline Gutzwiller-Helfenfinger, Brigitte Latzko, Tina Malti -- Neurobiology and Moral Mindset / Darcia Narvaez -- A Simile of Moral Motivation / Don Collins Reed -- Good and Bad Moral Motivation. Moral Value Evaluation / Marinus G.C.J. Beerthuizen, Daniel Brugman -- Juvenile Delinquency / Stefan Weyers -- Moral Motivation and Sports / Clark Power, Kristin K. Sheehan -- From Ethical Hostility toward Cooperative Ethics / Klaus-Jürgen Grün -- How Powerful are Moral Motivations in Environmental Protection? / Christian A. Klöckner -- Moral Motivation in Professions. Moral Motivation in Different Professions / Muriel J. Bebeau, Stephen J. Thoma -- Moral Motivation of Military Professionals / Freelance Philosopher and Author Edwin R. Micewski -- Ethical Intentions and the Moral Motivation of Teachers / Elizabeth Campbell -- Female Principals' Moral Motivation and the Moral Atmosphere of Schools / Chi-Ming Angela Lee -- Moral Motivation and Moral Education. Moral Reasoning, Moral Motivation and Informed Social Reflection / Janet Kwok, Robert L. Selman -- Character and Civic Education as a Source of Moral Motivation / Wolfgang Althof, Marvin W. Berkowitz -- Moral Motivation and the Role of the Internship in Professional Preparation / Sharon Nodie Oja, Patricia J. Craig -- Why Moral Education is Motivating by Nature / Francisco Esteban Bara, Maria Rosa Buxarrais Estrada -- Moral Motivation in the Light of Action Theory / Karin Heinrichs.
Record Nr. UCHICAGO-11078964
[International Conference on Software Reuse (13th : 2013 : Pisa, Italy)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Modelling foundations and applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / Pieter van Gorp, Tom Ritter, Louis M. Rose (eds.).
Modelling foundations and applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / Pieter van Gorp, Tom Ritter, Louis M. Rose (eds.).
Creatore [ECMFA (Conference) (9th : 2013 : Montpellier, France)]
Estensione 1 online resource (x, 235 pages) : illustrations (black and white).
Accesso persona Gorp, Pieter van, editor
Ritter, Tom, editor
Rose, Louis M., editor.
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Information Systems
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Management of Computing and Information Systems
Programming Techniques
ISBN 9783642390135
3642390137
9783642390128
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Foundations. Employing the Object Constraint Language in Model-Based Engineering / Martin Gogolla -- MOCQL: A Declarative Language for Ad-Hoc Model Querying / Harald Störrle -- Supporting Different Process Views through a Shared Process Model / Jochen Küster [and others] -- Characterization of Adaptable Interpreted-DSML / Eric Cariou [and others] -- Transformation as Search / Mathias Kleiner, Marcos Didonet Del Fabro, Davi De Queiroz Santos -- Model-Based Generation of Run-Time Monitors for AUTOSAR / Lars Patzina [and others] -- End-User Support for Debugging Demonstration-Based Model Transformation Execution / Yu Sun, Jeff Gray -- DPMP: A Software Pattern for Real-Time Tasks Merge / Rania Mzid [and others] -- Using Model Types to Support Contract-Aware Model Substitutability / Wuliang Sun [and others] -- Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing / Fabrice Ambert [and others] -- Applications. A Network-Centric BPMN Model for Business Network Management / Daniel Ritter -- Design Management: A Collaborative Design Solution / Maged Elaasar, James Conallen -- Umbra Designer: Graphical Modelling for Telephony Services / Nicolás Buezas [and others] -- Experience with Industrial Adoption of Business Process Models for User Acceptance Testing / Deepali Kholkar [and others] -- A Case Study in Evidence-Based DSL Evolution / Jeroen van den Bos, Tijs van der Storm -- Model Driven Software Development / Vinay Kulkarni.
Record Nr. UCHICAGO-11079572
[ECMFA (Conference) (9th : 2013 : Montpellier, France)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Soft computing methods for microwave and millimeter-wave design problems / N.C. Chauhan, M.V. Kartikeyan, and A. Mittal
Soft computing methods for microwave and millimeter-wave design problems / N.C. Chauhan, M.V. Kartikeyan, and A. Mittal
Creatore [Chauhan, N. C. (Narendra C.)]
Estensione 1 online resource (xiii, 112 pages).
Accesso persona Kartikeyan, M. V., 1961-
Mittal, Ankush
Genere/Forma Electronic books
Soggetto non controllato Engineering
Computer science
Engineering mathematics
Microwaves
Computational Intelligence
Appl. Mathematics/Computational Methods of Engineering
Microwaves, RF and Optical Engineering
Numerical and Computational Physics
Programming Techniques
Applied and Technical Physics
ISBN 9783642255632
3642255639
3642255620
9783642255625
Classificazione 53.82
54.80
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Soft Computing Methods -- Review of Soft Computing Methods for Microwave and Millimeter-Wave Design -- Design of Microwave Filters Using Modified PSO -- Design of Microstrip Antennas and Other Components -- Design of a Nonlinear Taper Using SI Based Algorithms -- Multiobjective Optimizations for the Design of RF Windows -- Concluding Remarks.
Record Nr. UCHICAGO-11076595
[Chauhan, N. C. (Narendra C.)]  
Materiale a stampa
Lo trovi qui: University of Chicago