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 and data technologies : 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised selected papers / María José Escalona, José Cordeiro, Boris Shishkov (eds.).
Software and data technologies : 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised selected papers / María José Escalona, José Cordeiro, Boris Shishkov (eds.).
Creatore [ICSOFT (Conference) (6th : 2011 : Seville, Spain)]
Estensione 1 online resource (xii, 285 pages) : illustrations (black and white).
Disciplina 005.1
Accesso persona Escalona, María José
Cordeiro, José
Shishkov, Boris
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Software engineering
Database management
Artificial intelligence
Programming Languages, Compilers, Interpreters
ISBN 9783642361777
3642361773
9783642361760
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- The Impact of Emerging Computing Models on Organizational Socio-technical System / Ivan I. Ivanov -- On-the-Fly Dependable Mediation between Heterogeneous Networked Systems / Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro -- SADT/IDEF0 for Augmenting UML, Agile and Usability Engineering Methods / David A. Marca -- From Requirements to Code: A Full Model-Driven Development Perspective / Óscar Pastor, Marcela Ruiz, Sergio España -- Part I: Enterprise Software Technology -- Enabling Automatic Process-Aware Collaboration Support in Software Engineering Projects / Gregor Grambow, Roy Oberhauser, Manfred Reichert.
Part II: Software Engineering -- Hybrid Debugging of Java Programs / Christian Hermanns, Herbert Kuchen -- Combined Constraint-Based Analysis for Efficient Software Regression Detection in Evolving Programs / Anh D. Le, Tho T. Quan, Nguyen T. Huynh, Phung H. Nguyen, Nhat-Van Le -- Requirements-Driven Iterative Project Planning / Yves Wautelet, Manuel Kolp, Stephan Poelmans -- An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE / Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena -- Typing Legacy COBOL Code / Alvise Spanò, Michele Bugliesi, Agostino Cortesi -- A Repository for Integration of Software Artifacts with Dependency Resolution and Federation Support / Rodrigo García-Carmona, Félix Cuadrado, Juan C. Dueñas, Álvaro Navas -- Automated System Testing of Dynamic Web Applications / Hideo Tanida, Mukul R. Prasad, Sreeranga P. Rajan, Masahiro Fujita.
Part III: Distributed Systems -- Technologies for Autonomic Dependable Services Platform: Achievements and Future Challenges / Eila Ovaska, Liliana Dobrica, Anu Purhonen, Marko Jaakola -- Part IV: Data Management -- Extracting the Main Content of Web Documents Based on Character Encoding and a Naive Smoothing Method / Hadi Mohammadzadeh, Thomas Gottron, Franz Schweiggert, Gholamreza Nakhaeizadeh -- Facilitating Structuring of Information for Business Users with Hybrid Wikis / Florian Matthes, Christian Neubert, Alexander Steinhoff -- Part V: Knowledge-Based Systems -- Statistical and Possibilistic Methodology for the Evaluation of Classification Algorithms / Olgierd Hryniewicz -- What Else Can Be Extracted from Ontologies? Influence Rules / Barbara Furletti, Franco Turini.
Record Nr. NYU-004626551
[ICSOFT (Conference) (6th : 2011 : Seville, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Requirements engineering : foundation for software quality : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings / Joerg Doerr, Andreas L. Opdahl (eds.).
Requirements engineering : foundation for software quality : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings / Joerg Doerr, Andreas L. Opdahl (eds.).
Creatore [REFSQ (Conference) (19th : 2013 : Essen, Germany)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Doerr, Joerg
Opdahl, Andreas
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Software engineering
Information Systems
Management of Computing and Information Systems
Information Systems Applications (incl. Internet)
ISBN 9783642374227
3642374220
9783642374210
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Requirements engineering and architecture -- Natural language requirements -- Requirements engineering and quality -- Traceability -- Requirements engineering and business/goals -- Requirements engineering and software development -- Requirements engineering in practice -- Product lines and product management.
Record Nr. NYU-004628297
[REFSQ (Conference) (19th : 2013 : Essen, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings / Axel Legay, Saddek Bensalem (eds.).
Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings / Axel Legay, Saddek Bensalem (eds.).
Creatore [RV (Conference) (4th : 2013 : Rennes, France)]
Estensione 1 online resource (xvii, 426 pages).
Disciplina 005.1/4
Accesso persona Legay, Axel, editor
Bensalem, Saddek, editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Soggetto non controllato Computer science
Software engineering
Computer software
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642407871
3642407870
3642407862
9783642407864
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Paper. Executing Specifications Using Synthesis and Constraint Solving / Viktor Kuncak, Etienne Kneuss and Philippe Suter -- Regular Papers. Informative Types and Effects for Hybrid Migration Control / Ana Almeida Matos and Jan Cederquist -- Monitoring of Temporal First-Order Properties with Aggregations / David Basin [and others] -- From Propositional to First-Order Monitoring / Andreas Bauer, Jan-Christoph Küster and Gil Vegliach -- Right-Universality of Visibly Pushdown Automata / Véronique Bruyère, Marc Ducobu and Olivier Gauwin -- Distributed Finite-State Runtime Monitoring with Aggregated Events / Kevin Falzon, Eric Bodden and Rahul Purandare -- Synthesising Correct Concurrent Runtime Monitors / Adrian Francalanza and Aldrin Seychell -- Practical Interruptible Conversations / Raymond Hu [and others] -- Runtime Verification with Particle Filtering / Kenan Kalajdzic [and others] -- An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs / Nikolai Kosmatov, Guillaume Petiot and Julien Signoles.
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties / Normann Decker, Martin Leucker and Daniel Thoma -- Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores / Vineeth Mekkat, Anup Holey and Antonia Zhai -- Efficient Model to Query and Visualize the System States Extracted from Trace Data / Alexandre Montplaisir [and others] -- Repair Abstractions for More Efficient Data Structure Repair / Razieh Nokhbeh Zaeem, Muhammad Zubair Malik and Sarfraz Khurshid -- To Run What No One Has Run Before: Executing an Intermediate Verification Language / Nadia Polikarpova, Carlo A. Furia and Scott West -- Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations / Chengsong Wang, Zhenbang Chen and Xiaoguang Mao -- A Causality Analysis Framework for Component-Based Real-Time Systems / Shaohui Wang [and others] -- Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques / Chun Wah Wallace Wu [and others].
Short Papers. A Scala DSL for Rete-Based Runtime Verification / Klaus Havelund -- A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools / Mickaël Delahaye and Nikolai Kosmatov -- Towards a Generic Non-intrusive Fault Detection Framework / Jukka Julku and Mika Rautila -- A Witnessing Compiler: A Proof of Concept / Kedar S. Namjoshi, Giacomo Tagliabue and Lenore D. Zuck -- Runtime Monitoring of Temporal Logic Properties in a Platform Game / Simon Varvaressos [and others] -- Tool Papers. SMock -- A Test Platform for Monitoring Tools / Christian Colombo, Ruth Mizzi and Gordon J. Pace -- SPY: Local Verification of Global Protocols / Rumyana Neykova, Nobuko Yoshida and Raymond Hu -- Tutorials. Instrumenting Android and Java Applications as Easy as abc / Steven Arzt, Siegfried Rasthofer and Eric Bodden -- On Signal Temporal Logic / Alexandre Donzé -- Runtime Verification and Refutation for Biological Systems / Hillel Kugler -- A Lesson on Runtime Assertion Checking with Frama-C / Nikolai Kosmatov and Julien Signoles -- With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures / Kai Lampka -- Dynamic Analysis and Debugging of Binary Code for Security Applications / Lixin Li and Chao Wang.
Record Nr. NYU-004664238
[RV (Conference) (4th : 2013 : Rennes, France)]  
Materiale a stampa
Lo trovi qui: New York University
Transactions on pattern languages of programming III / James Noble, Ralph Johnson, Uwe Zdun, Eugene Walingford (eds.).
Transactions on pattern languages of programming III / James Noble, Ralph Johnson, Uwe Zdun, Eugene Walingford (eds.).
Estensione 1 online resource (vi, 194 pages) : illustrations.
Disciplina 005.1
Accesso persona Noble, James, 1967-editor
Johnson, Ralph E. (Professor of computer science), editor
Zdun, Uwe, editor
Wallingford, Eugene, editor
Genere/Forma Electronic books
Ebook
Soggetto non controllato Computer science
Software engineering
Information Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Management of Computing and Information Systems
ISBN 9783642386763
3642386768
9783642386756
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Transform! Patterns for Data Migration / Andreas Rüping -- A Pattern Language for Teaching Design Patterns / Christian Köppe -- Pattern Language for the Internal Structure of Metadata-Based Frameworks / Eduardo Guerra, Jerffeson de Souza -- User Interface Patterns for Multimodal Interaction / Andreas Ratzka -- Using Pattern-Based Architecture Reviews to Detect Quality Attribute Issues -- An Exploratory Study / Neil B. Harrison, Paris Avgeriou.
Record Nr. NYU-004638854
Materiale a stampa
Lo trovi qui: New York University
Product-focused software process improvement : 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings / Jens Heidrich, Markku oivo, Andreas Jedlitschka, Maria Teresa Baldassarre (eds.).
Product-focused software process improvement : 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings / Jens Heidrich, Markku oivo, Andreas Jedlitschka, Maria Teresa Baldassarre (eds.).
Creatore [PROFES (Conference) (14th : 2013 : Paphos, Cyprus)]
Estensione 1 online resource (xvi, 374 pages) : illustrations (black and white).
Disciplina 005.1
Accesso persona Heidrich, Jens, editor
Oivo, Markku, editor
Jedlitschka, Andreas, editor
Baldassarre, Maria Teresa, editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Software engineering
Computer simulation
Information systems
Management information systems
Management of Computing and Information Systems
Computers and Society
Computer Appl. in Administrative Data Processing
Simulation and Modeling
Business Information Systems
ISBN 9783642392597
3642392598
9783642392580
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote Talks. Making Software Quality Visible / Stefan Wagner -- ECO-MAPS: Information Quality-Driven Enterprise Modeling / Alexis Eduardo Ocampo Ramírez -- Implementation of an Online Multi-level and Device-Independent Time and Attendance System / Christos Xenis -- Empirical Software Engineering. How Applicable Is ISO/IEC 29110 in Game Software Development? / Jussi Kasurinen, Risto Laine, Kari Smolander -- Supporting Cognitive Work in Software Development Workflows / Jarkko Hyysalo [and others] -- Impediments in Agile Software Development: An Empirical Investigation / Kristian Wiklund [and others] -- Are Happy Developers More Productive? / Daniel Graziotin, Xiaofeng Wang, Pekka Abrahamsson -- A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering / Marília Freire [and others] -- Beyond Herding Cats: Aligning Quantitative Technology Evaluation in Large-Scale Research Projects / Michael Kläs, Thomas Bauer, Ubaldo Tiberi.
Software Process Improvement. Software Process Improvement in Inter-departmental Development of Software-Intensive Automotive Systems -- A Case Study / Joakim Pernstål [and others] -- Improving Requirements Engineering by Artefact Orientation / Daniel Méndez Fernández, Roel Wieringa -- Managing Constant Flow of Requirements: Screening Challenges in Very Large-Scale Requirements Engineering / Sanja Aaramaa [and others] -- Managing Software Processes. Who Cares About Software Process Modelling? A First Investigation About the Perceived Value of Process Engineering and Process Consumption / Marco Kuhrmann, Daniel Méndez Fernández, Alexander Knapp -- Modeling Variabilities from Software Process Lines with Compositional and Annotative Techniques: A Quantitative Study / Fellipe A. Aleixo, Uirá Kulesza, Edson A. Oliveira Junior -- SMartySPEM: A SPEM-Based Approach for Variability Management in Software Process Lines / Edson A. Oliveira Junior [and others].
Software Measurement. Aligning Corporate and IT Goals and Strategies in the Oil and Gas Industry / Victor Basili, Constanza Lampasona, Alexis Eduardo Ocampo Ramírez -- Evaluating Maintainability of MDA Software Process Models / Bruno C. da Silva, Rita Suzana Pitangueira Maciel, Franklin Ramalho -- The Evaluation of Weighted Moving Windows for Software Effort Estimation / Sousuke Amasaki, Chris Lokan -- Decision Support in Software Engineering. Identifying Potential Risks and Benefits of Using Cloud in Distributed Software Development / Nilay Oza [and others] -- A Cloud Adoption Decision Support Model Based on Fuzzy Cognitive Maps / Andreas Christoforou, Andreas S. Andreou -- Modeling and Decision Support of the Mobile Software Development Process Using Influence Diagrams / Pantelis Stylianos Yiasemis, Andreas S. Andreou.
Safety-Critical Software Engineering. Authoring IEC 61508 Based Software Development Process Models / Ivan Porres [and others] -- Challenges in Flexible Safety-Critical Software Development -- An Industrial Qualitative Survey / Jesper Pedersen Notander, Martin Höst, Per Runeson -- Software Maintenance. Improving Process of Source Code Modification Focusing on Repeated Code / Ayaka Imazato [and others] -- Assessing Refactoring Instances and the Maintainability Benefits of Them from Version Archives / Kenji Fujiwara [and others].
Short Papers. Evaluation of Standard Reliability Growth Models in the Context of Automotive Software Systems / Rakesh Rana [and others] -- A Tool for IT Service Management Process Assessment for Process Improvement / Anup Shrestha [and others] -- Making Sense Out of a Jungle of JavaScript Frameworks / Daniel Graziotin, Pekka Abrahamsson -- Software Processes with BPMN: An Empirical Analysis / Andre L.N. Campos, Toacy Oliveira -- A Generalized Software Reliability Model Considering Uncertainty and Dynamics in Development / Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa -- Orienting High Software Team Performance: Dimensions for Aligned Excellence / Petri Kettunen -- An Experience Report: Trial Measurement of Process Independency between Infrastructure Construction and Software Development / Noriko Hanakawa, Masaki Obana -- How to Configure SE Development Processes Context-Specifically? / Philipp Diebold -- Improving IT Service Operation Processes / Marko Jäntti, Terry Rout -- A Security Assurance Framework for Networked Medical Devices / Anita Finnegan, Fergal McCaffery, Gerry Coleman -- Tutorials. Model-Based Transition from Requirements to High-Level Software Design / Hermann Kaindl -- Software Effort Estimation and Risk Management / Jens Heidrich.
Record Nr. NYU-004639001
[PROFES (Conference) (14th : 2013 : Paphos, Cyprus)]  
Materiale a stampa
Lo trovi qui: New York University
Experimentation in software engineering / Claes Wohlin [and others]
Experimentation in software engineering / Claes Wohlin [and others]
Estensione 1 online resource
Disciplina 005.101
Accesso persona Wohlin, Claes
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
ISBN 9783642290442
3642290442
3642290434
9783642290435
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Background -- Front matter -- Introduction -- Empirical Strategies -- Measurement -- Systematic Literature Reviews -- Case Studies -- Experiment Process -- pt. 2. Steps in the Experiment Process -- Scoping -- Planning -- Operation -- Analysis and Interpretation -- Presentation and Package -- pt. 3. Example Experiments -- Experiment Process Illustration -- Are the Perspectives Really Different?: Further Experimentation on Scenario-Based Reading of Requirements.
Record Nr. NYU-004623272
Materiale a stampa
Lo trovi qui: New York University
Automated configuration problem solving / Charles J. Petrie
Automated configuration problem solving / Charles J. Petrie
Creatore [Petrie, Charles J.]
Estensione 1 online resource.
Disciplina 006.3
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Artificial intelligence
Computer aided design
Systems engineering
Computer-Aided Engineering (CAD, CAE) and Design
ISBN 9781461445326
1461445329
1461445310
9781461445319
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Configuration Problem Definition and Technology -- Configuration Models -- Reasoning Techniques -- Specific Configuration Systems -- Final Notes on Configuration Solving.
Record Nr. NYU-004623304
[Petrie, Charles J.]  
Materiale a stampa
Lo trovi qui: New York University
Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / Bernhard Gramlich, Dale Miller, Uli Sattler (eds.).
Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / Bernhard Gramlich, Dale Miller, Uli Sattler (eds.).
Creatore [IJCAR (Conference) (6th : 2012 : Manchester, England)]
Estensione 1 online resource (xiv, 568 pages) : illustrations.
Disciplina 511.3/6028563
Accesso persona Gramlich, Bernhard, Dr.rer.nat.
Miller, Dale (Dale A.)
Sattler, Uli.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Electronic data processing
Artificial intelligence
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Mathematics of Computing
Numeric Computing
ISBN 9783642313653
3642313655
3642313647
9783642313646
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Taking Satisfiability to the Next Level with Z3 (Abstract) / Nikolaj Bjørner -- Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics / Yuri Matiyasevich -- SAT and SMT Are Still Resolution: Questions and Challenges / Robert Nieuwenhuis -- Unification Modulo Synchronous Distributivity / Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran and Michael Rusinowitch -- SAT Encoding of Unification in ELHR+R+ w.r.t. Cycle-Restricted Ontologies / Franz Baader, Stefan Borgwardt and Barbara Morawska -- UEL: Unification Solver for the Description Logic EL -- System Description / Franz Baader, Julian Mendez and Barbara Morawska -- Effective Finite-Valued Semantics for Labelled Calculi / Matthias Baaz, Ori Lahav and Anna Zamansky -- A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic / François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala and Assia Mahboubi, et al. -- How Fuzzy Is My Fuzzy Description Logic? / Stefan Borgwardt, Felix Distel and Rafael Peñaloza -- Truthful Monadic Abstractions / Taus Brock-Nannestad and Carsten Schürmann -- Satallax: An Automatic Higher-Order Prover / Chad E. Brown -- From Strong Amalgamability to Modularity of Quantifier-Free Interpolation / Roberto Bruttomesso, Silvio Ghilardi and Silvio Ranise -- SPARQL Query Containment under RDFS Entailment Regime / Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès and Nabil Layaïda.
Automated Verification of Recursive Programs with Pointers / Frank de Boer, Marcello Bonsangue and Jurriaan Rot -- Security Protocols, Constraint Systems, and Group Theories / Stéphanie Delaune, Steve Kremer and Daniel Pasaila -- Taming Past LTL and Flat Counter Systems / Stéphane Demri, Amit Kumar Dhar and Arnaud Sangnier -- A Calculus for Generating Ground Explanations / Mnacho Echenim and Nicolas Peltier -- EPR-Based Bounded Model Checking at Word Level / Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel and Andrei Voronkov -- Proving Non-looping Non-termination Automatically / Fabian Emmes, Tim Enger and Jürgen Giesl -- Rewriting Induction + Linear Arithmetic = Decision Procedure / Stephan Falke and Deepak Kapur -- Combination of Disjoint Theories: Beyond Decidability / Pascal Fontaine, Stephan Merz and Christoph Weidenbach -- Automated Analysis of Regular Algebra / Simon Foster and Georg Struth -- [delta]-Complete Decision Procedures for Satisfiability over the Reals / Sicun Gao, Jeremy Avigad and Edmund M. Clarke -- BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics / Rajeev Goré and Jimmy Thomson -- From Linear Temporal Logic Properties to Rewrite Propositions / Pierre-Cyrille Héam, Vincent Hugot and Olga Kouchnarenko -- Tableaux Modulo Theories Using Superdeduction: An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover / Mélanie Jacquel, Karim Berkani, David Delahaye and Catherine Dubois.
Solving Non-linear Arithmetic / Dejan Jovanović and Leonardo de Moura -- Inprocessing Rules / Matti Järvisalo, Marijn J.H. Heule and Armin Biere -- Logical Difference Computation with CEX2.5 / Boris Konev, Michel Ludwig and Frank Wolter -- Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics / Daniel Kühlwein, Twan van Laarhoven, Evgeni Tsivtsivadze, Josef Urban and Tom Heskes -- Branching Time? Pruning Time! / Markus Latte and Martin Lange -- New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants / Andrew M. Marshall and Paliath Narendran -- Reachability Analysis of Program Variables / Đurica Nikolić and Fausto Spoto -- Playing Hybrid Games with KeYmaera / Jan-David Quesel and André Platzer -- The QMLTP Problem Library for First-Order Modal Logics / Thomas Raths and Jens Otten -- Correctness of Program Transformations as a Termination Problem / Conrad Rau, David Sabel and Manfred Schmidt-Schauß -- Fingerprint Indexing for Paramodulation and Rewriting / Stephan Schulz -- Optimization in SMT with LAA Q Cost Functions / Roberto Sebastiani and Silvia Tomasi -- Synthesis for Unbounded Bit-Vector Arithmetic / Andrej Spielmann and Viktor Kuncak -- Extended Caching, Backjumping and Merging for Expressive Description Logics / Andreas Steigmiller, Thorsten Liebig and Birte Glimm -- KBCV -- Knuth-Bendix Completion Visualizer / Thomas Sternagel and Harald Zankl -- A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance / Martin Suda and Christoph Weidenbach -- Stratification in Logics of Definitions / Alwen Tiu -- Diabelli: A Heterogeneous Proof System / Matej Urbas and Mateja Jamnik.
Record Nr. NYU-004623408
[IJCAR (Conference) (6th : 2012 : Manchester, England)]  
Materiale a stampa
Lo trovi qui: New York University
Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers / Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.).
Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers / Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.).
Creatore [FoVeOOS (Conference) (2011 : Turin, Italy)]
Estensione 1 online resource (x, 249 pages) : illustrations.
Disciplina 005.1/4
Accesso persona Beckert, Bernhard
Damiani, Ferruccio
Gurov, Dilian
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Information Systems
Programming Techniques
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Management of Computing and Information Systems
ISBN 9783642317620
3642317626
3642317618
9783642317613
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Modular Verification of Object-Based Programs Abstract of Invited Talk / Anindya Banerjee -- The COST IC0701 Verification Competition 2011 / Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst and Jean-Christophe Filliâtre, et al. -- The Practical Application of Formal Methods: Where Is the Benefit for Industry? / James J. Hunt -- Isolation Types and Multi-core Architectures / Alan Mycroft -- Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study / Peter Y.H. Wong, Nikolay Diakov and Ina Schaefer -- Modeling and Analyzing the Interaction of C and C++ Strings / Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivančić and Aarti Gupta, et al. -- Integration of Bounded Model Checking and Deductive Verification / Bernhard Beckert, Thorsten Bormer, Florian Merz and Carsten Sinz -- A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems / Lucian Bentea and Olaf Owe -- Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode / Marc Brockschmidt, Thomas Ströder, Carsten Otto and Jürgen Giesl -- Juggrnaut -- An Abstract JVM / Jonathan Heinen, Henrik Barthels and Christina Jansen -- A Verified Implementation of Priority Monitors in Java / Ángel Herranz and Julio Mariño -- Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification / Marieke Huisman and Tri Minh Ngo -- A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios / Einar Broch Johnsen, Rudolf Schlatte and S. Lizeth Tapia Tarifa -- A \mathbbKK -Based Formal Framework for Domain-Specific Modelling Languages / Vlad Rusu and Dorel Lucanu -- Verification of Information Flow Properties of Java Programs without Approximations / Christoph Scheben and Peter H. Schmitt.
Record Nr. NYU-004623635
[FoVeOOS (Conference) (2011 : Turin, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Foundational and practical aspects of resource analysis : second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers / Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.).
Foundational and practical aspects of resource analysis : second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers / Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.).
Creatore [FOPARA (Workshop) (2nd : 2011 : Madrid, Spain)]
Estensione 1 online resource (141 pages) : illustrations.
Disciplina 005.1/2
Accesso persona Peña, Ricardo, 1950-
Eekelen, M. C. J. D. van.
Shkaravska, Olha
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer system performance
Software engineering
Computer software
Logic design
System Performance and Evaluation
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Computation by Abstract Devices
ISBN 9783642324956
3642324959
9783642324949
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Higher-Order Characterization of Probabilistic Polynomial Time / Ugo Dal Lago and Paolo Parisen Toldin -- Typing a Core Binary-Field Arithmetic in a Light Logic / Emanuele Cesena, Marco Pedicini and Luca Roversi -- Interpolation-Based Height Analysis for Improving a Recurrence Solver / Manuel Montenegro, Olha Shkaravska, Marko van Eekelen and Ricardo Peña -- Interval-Based Resource Usage Verification: Formalization and Prototype / Pedro Lopez-Garcia, Luthfi Darmawan, Francisco Bueno and Manuel Hermenegildo -- Certifying and Reasoning on Cost Annotations of Functional Programs / Roberto M. Amadio and Yann Régis-Gianas -- On Abstractions for Timing Analysis in the \mathbbKK Framework / Mihail Asăvoae, Irina Măriuca Asăvoae and Dorel Lucanu -- Certifying Execution Time / Vítor Rodrigues, João Pedro Pedroso, Mário Florido and Simão Melo de Sousa -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems / Christoph A. Herrmann and Kevin Hammond.
Record Nr. NYU-004623658
[FOPARA (Workshop) (2nd : 2011 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: New York University