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.
Industrial deployment of system engineering methods / Alexander Romanovsky, Martyn Thomas, editors
Industrial deployment of system engineering methods / Alexander Romanovsky, Martyn Thomas, editors
Estensione 1 online resource (x, 259 pages) : illustrations
Disciplina 620.001/171
Accesso persona Romanovsky, Alexander, 1954-
Thomas, Martyn, 1948-
Soggetto non controllato Computer science
Software engineering
Industrial engineering
Software Engineering/Programming and Operating Systems
Mathematical Logic and Formal Languages
Industrial and Production Engineering
ISBN 9783642331701
364233170X
3642430643
9783642430640
9783642331695
3642331696
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction / Alexander Romanovsky and Martyn Thomas -- Integrated Project DEPLOY / Alexander Romanovsky -- Experience of deployment in the automotive industry / Rainer Gmehlich and Cliff Jones -- Improving railway data validation with ProB / Jérôme Falampin [and others] -- Deployment in the space sector / Dubravka Ilić [and others] -- Business information sector / Sebastian Wieczorek [and others] -- Formal methods as an improvement tool / Aryldo G. Russo Jr. -- Critical Software Technologies' experience with formal methods / Alex Hill, Jose Reis, and Paulo Carvalho -- Experience of deploying Event-B in industrial microprocessor development / Stephen Wright and Kerstin Eder -- Industrial deployment of formal methods : trends and challenges / John Fitzgerald [and others] -- Introducing formal methods into existing industrial practices / Martyn Thomas and Alexander Romanovsky -- Tooling / Michael Butler, Laurent Voisin, and Thomas Muller -- Technology transfer / David Basin and Thai Son Hoang -- After and outside DEPLOY : the DEPLOY ecosystem / Alexander Romanovsky -- Industrial software engineering and formal methods / Martyn Thomas and Alexander Romanovsky -- Appendix A. An introduction to the Event-B modelling method / Thai Son Hoang -- Appendix B. Evidence-based assistance for the adoption of formal methods in industry / Jean-Christophe Deprez, Christophe Ponsard, and Renaud De Landtsheer.
Record Nr. STANFORD-a10215746
Materiale a stampa
Lo trovi qui: Stanford University
A primer on scientific programming with Python / Hans Petter Langtangen
A primer on scientific programming with Python / Hans Petter Langtangen
Creatore [Langtangen, Hans Petter, 1962-]
Edizione [3rd ed.]
Estensione 1 online resource.
Disciplina 005.13/3
Soggetto non controllato Mathematics
Software engineering
Computer science
Computational Science and Engineering
Programming Techniques
Software Engineering/Programming and Operating Systems
Mathematics of Computing
Numerical and Computational Physics
ISBN 9783642302930
3642302939
3642302920
9783642302923
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error Handling -- Array Computing and Curve Plotting -- Files, Strings, and Dictionaries -- Introduction to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming.
Record Nr. STANFORD-a9668016
[Langtangen, Hans Petter, 1962-]  
Materiale a stampa
Lo trovi qui: Stanford University
Web Dynpro ABAP for practitioners [electronic resource] / Ulrich Gellert, Ana Daniela Cristea
Web Dynpro ABAP for practitioners [electronic resource] / Ulrich Gellert, Ana Daniela Cristea
Creatore [Gellert, Ulrich]
Edizione [2nd ed.]
Estensione 1 online resource.
Disciplina 006.7
Accesso persona Cristea, Ana Daniela
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Operating systems (Computers)
Information systems
Software Engineering/Programming and Operating Systems
Information Systems and Communication Service
ISBN 9783642382475
3642382479
3642382460
9783642382468
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto What is Web Dynpro? -- SAP Easy Access -- Designing a Web Dynpro Component -- ABAP Dictionary -- Context Nodes and Attributes at Design Time -- Data Binding, Context Mapping and Interface Methods -- View Controller Methods -- Layout UI Elements -- User Interface Elements -- Messages, Exceptions, and Web Dynpro ABAP -- Writing Multilanguage Applications -- Web Dynpro Model -- ALV and Select Options -- Integrating the Web Dynpro Application into the SAP NetWeaver Portal -- Web Dynpro and Authorization -- Web Dynpro ABAP Mind Map -- Power Lists -- Modal Windows and External Windows -- Web Dynpro appliction paramters -- Shared Objects -- Business Server Pages (BSP) -- Multilanguage E-mails -- Index.
Record Nr. NYU-004426034
[Gellert, Ulrich]  
Materiale a stampa
Lo trovi qui: New York University
VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers / José L. Ayala, David Atienza Alonso, Ricardo Reis (eds.).
VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers / José L. Ayala, David Atienza Alonso, Ricardo Reis (eds.).
Creatore [IFIP TC10/WG10.5 International Conference on Very Large Scale Integration of Systems-on-Chip (18th : 2010 : Madrid, Spain)]
Estensione 1 online resource (x, 353 pages)
Disciplina 621.39/5
Accesso persona Ayala, Jose L.
Atienza Alonso, David
Reis, Ricardo
Soggetto non controllato Computer science
Microprogramming
Software engineering
Coding theory
Computer software
Control Structures and Microprogramming
Software Engineering/Programming and Operating Systems
Coding and Information Theory
Algorithm Analysis and Problem Complexity
ISBN 9783642285660
364228566X
3642285651
9783642285653
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9547324
[IFIP TC10/WG10.5 International Conference on Very Large Scale Integration of Systems-on-Chip (18th : 2010 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: Stanford University
The future of EU agricultural markets by AGMEMOD / Frédéric Chantreuil, Kevin Hanrahan, Myrna van Leeuwen, editors
The future of EU agricultural markets by AGMEMOD / Frédéric Chantreuil, Kevin Hanrahan, Myrna van Leeuwen, editors
Estensione 1 online resource (xv, 128 pages)
Disciplina 338.1094
Accesso persona Chantreuil, Frédéric
Hanrahan, K. F. (Kevin F.)
Leeuwen, Myrna van.
Genere/Forma Electronic books
Soggetto non controllato Economics
Software engineering
Farm economics
Economics/Management Science
Agricultural Economics
Software Engineering/Programming and Operating Systems
ISBN 9789400722910
9400722915
9400722907
9789400722903
128345503X
9781283455039
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto PART I -- Introduction -- 1. Background -- 2. Model Structure and Parameterisation -- 3. AGMEMOD Model -- PART II -- 4. EU Market Outlook -- 5. The CAP Beyond 2013 -- 6. Conclusions and Future Work -- Index.
Record Nr. NYU-004620352
Materiale a stampa
Lo trovi qui: New York University
Engineering secure software and systems : 4th international symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012 : proceedings / Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.).
Engineering secure software and systems : 4th international symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012 : proceedings / Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.).
Creatore [ESSoS (Symposium) (4th : 2012 : Eindhoven, Netherlands)]
Estensione 1 online resource (xii, 150 pages) : illustrations.
Disciplina 005.8
Accesso persona Barthe, Gilles, 1967-
Livshits, Benjamin
Scandariato, Riccardo
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data structures (Computer science)
Data encryption (Computer science)
Data Encryption
Software Engineering/Programming and Operating Systems
Data Structures, Cryptology and Information Theory
Math Applications in Computer Science
Models and Principles
ISBN 9783642281662
3642281664
9783642281655
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Application-Replay Attack on Java Cards: When the Garbage Collector Gets Confused -- Supporting the Development and Documentation of ISO 27001 Information Security Management Systems through Security Requirements Engineering Approaches -- Typed Assembler for a RISC Crypto-Processor -- Transversal Policy Conflict Detection -- Challenges in Implementing an End-to-End Secure Protocol for Java ME-Based Mobile Data Collection in Low-Budget Settings -- Runtime Enforcement of Information Flow Security in Tree Manipulating Processes -- Formalisation and Implementation of the XACML Access Control Mechanism -- A Task Ordering Approach for Automatic Trust Establishment -- An Idea of an Independent Validation of Vulnerability Discovery Models -- A Sound Decision Procedure for the Compositionality of Secrecy -- Plagiarizing Smartphone Applications: Attack Strategies and Defense Techniques -- Design of Adaptive Security Mechanisms for Real-Time Embedded Systems -- Hunting Application-Level Logical Errors -- Optimal Trust Mining and Computing on Keyed MapReduce.
Record Nr. NYU-004621692
[ESSoS (Symposium) (4th : 2012 : Eindhoven, Netherlands)]  
Materiale a stampa
Lo trovi qui: New York University
Programming multi-agent systems : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised selected papers / Louise Dennis, Olivier Boissier, Rafael H. Bordini (eds.).
Programming multi-agent systems : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised selected papers / Louise Dennis, Olivier Boissier, Rafael H. Bordini (eds.).
Creatore [ProMAS (Conference) (9th : 2011 : Taipei, Taiwan)]
Estensione 1 online resource (xii, 216 pages) : illustrations.
Disciplina 006.3
Accesso persona Dennis, Louise
Boissier, Olivier
Bordini, Rafael H.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Artificial intelligence
Computer vision
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering/Programming and Operating Systems
Computer Imaging, Vision, Pattern Recognition and Graphics
ISBN 9783642319150
3642319157
3642319149
9783642319143
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Logical Foundations for a Rational BDI Agent Programming Language (Extended Version) / Shakil M. Khan and Yves Lespérance -- Relating Goal and Commitment Semantics / Pankaj R. Telang, Munindar P. Singh and Neil Yorke-Smith -- Developing a Knowledge Management Multi-Agent System Using JaCaMo / Carlos M. Toledo, Rafael H. Bordini, Omar Chiotti and María R. Galli -- Notes on Pragmatic Agent-Programming with Jason / Radek Píbil, Peter Novák, Cyril Brom and Jakub Gemrot -- Integrating Expectation Monitoring into BDI Agents / Surangika Ranathunga, Stephen Cranefield and Martin Purvis -- Abstraction for Model Checking Modular Interpreted Systems over ATL / Michael Köster and Peter Lohmann -- MAS: Qualitative and Quantitative Reasoning / Ammar Mohammed and Ulrich Furbach -- State Space Reduction for Model Checking Agent Programs / Sung-Shik T.Q. Jongmans, Koen V. Hindriks and M. Birna van Riemsdijk -- The Multi-agent Programming Contest 2011: A Résumé / Tristan Behrens, Michael Köster, Federico Schlesinger, Jürgen Dix and Jomi F. Hübner -- HactarV2: An Agent Team Strategy Based on Implicit Coordination / Marc Dekker, Pieter Hameete, Michiel Hegemans, Sebastiaan Leysen and Joris van den Oever, et al. -- Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach / Mikko Berggren Ettienne, Steen Vester and Jørgen Villadsen -- Bogtrotters in Space / Dominic Carr, Sean Russell, Balazs Pete, G.M.P. O'Hare and Rem W. Collier -- A Gaia-Driven Approach for Competitive Multi-Agent Systems / Sahar Mirzayi, Vahid Nateghi and Fatemeh Eskandari.
Record Nr. NYU-004623644
[ProMAS (Conference) (9th : 2011 : Taipei, Taiwan)]  
Materiale a stampa
Lo trovi qui: New York University
Automated technology for verification and analysis [electronic resource] : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / Tevfik Bultan, Pao-Ann Hsiung (eds.).
Automated technology for verification and analysis [electronic resource] : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / Tevfik Bultan, Pao-Ann Hsiung (eds.).
Creatore [ATVA (Symposium) (9th : 2011 : Taipei, Taiwan)]
Estensione 1 online resource (xiv, 532 p.) : ill. (some col.
Disciplina 006.3/33
Accesso persona Bultan, Tevfik
Hsiung, Pao-Ann
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Programming Techniques
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering/Programming and Operating Systems
ISBN 9783642243721 (electronic bk.)
364224372X (electronic bk.)
9783642243714
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960086553503681
[ATVA (Symposium) (9th : 2011 : Taipei, Taiwan)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Network and parallel computing : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings / Erik Altman, Weisong Shi (eds.).
Network and parallel computing : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings / Erik Altman, Weisong Shi (eds.).
Creatore [NPC (Conference) (8th : 2011 : Changsha Shi, China)]
Estensione 1 online resource (xiii, 368 pages) : illustrations.
Disciplina 004/.35
Accesso persona Altman, Erik
Shi, Weisong
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Electronic data processing
Programming Techniques
Computing Methodologies
Algorithm Analysis and Problem Complexity
Software Engineering/Programming and Operating Systems
ISBN 9783642244032
3642244033
3642244025
9783642244025
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004372150
[NPC (Conference) (8th : 2011 : Changsha Shi, China)]  
Materiale a stampa
Lo trovi qui: New York University
Computational Science - ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III / by Marian Bubak, Geert Dick van Albada, Peter M.A. Sloot
Computational Science - ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III / by Marian Bubak, Geert Dick van Albada, Peter M.A. Sloot
Creatore [Bubak, Marian]
Accesso persona Albada, Geert Dick van.
Dongarra, Jack
Sloot, Peter M. A.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Computational Mathematics and Numerical Analysis
Computing Methodologies
Information Systems and Communication Service
Mathematics of Computing
Software Engineering/Programming and Operating Systems
Theory of Computation
ISBN 9783540221166
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354326
[Bubak, Marian]  
Software
Lo trovi qui: University of Chicago