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 |
![]() | |
Lo trovi qui: Stanford University | |
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-]
![]() |
|
![]() | |
Lo trovi qui: Stanford University | |
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]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
Lo trovi qui: Stanford University | |
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 |
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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.). |
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)]
![]() |
|
![]() | |
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 |
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]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |