Extending the Boundaries of Design Science Theory and Practice [[electronic resource] ] : 14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4–6, 2019, Proceedings / / edited by Bengisu Tulu, Soussan Djamasbi, Gondy Leroy |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (X, 317 p. 70 illus., 33 illus. in color.) |
Disciplina | 004.21 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computers
Application software User interfaces (Computer systems) Optical data processing Models and Principles Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computing Milieux Image Processing and Computer Vision |
ISBN | 3-030-19504-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Design Science Research Theory and Methodology -- Design Science Research Applications in Healthcare -- Design Science Research Applications in Data Science -- Design Science Research Applications in Emerging Topics. |
Record Nr. | UNISA-996466196603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fast and effective embedded systems design : applying the ARM mbed / Rob Toulson, Tim Wilmshurst |
Autore | Toulson, Rob |
Edizione | [2nd ed.] |
Pubbl/distr/stampa | - London : Elsevier, 2017 |
Descrizione fisica | 491 p. : ill. ; 23 cm |
Disciplina | 004.21 |
Altri autori (Persone) | Wilmshurst, Tim |
Soggetto non controllato | Sistemi informatici integrati |
ISBN | 978-0-08-100880-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910284851803321 |
Toulson, Rob | ||
- London : Elsevier, 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fast and effective embedded systems design [[electronic resource] ] : applying the ARM mbed / / Rob Toulson, Tim Wilmshurst |
Autore | Toulson Rob |
Edizione | [1st edition] |
Pubbl/distr/stampa | Boston, Mass., : Elsevier/Newnes, 2012 |
Descrizione fisica | 1 online resource (400 p.) |
Disciplina |
004.21
621.381 |
Altri autori (Persone) | WilmshurstTim |
Soggetto topico |
Embedded computer systems
Embedded computer systems - Design |
Soggetto genere / forma | Electronic books. |
ISBN |
1-280-77922-5
9786613689610 0-08-097769-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Essentials of embedded systems, using the mbed -- pt. 2. Moving to advanced and specialist applications. |
Record Nr. | UNINA-9910452784403321 |
Toulson Rob | ||
Boston, Mass., : Elsevier/Newnes, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fast and effective embedded systems design [[electronic resource] ] : applying the ARM mbed / / Rob Toulson, Tim Wilmshurst |
Autore | Toulson Rob |
Edizione | [1st edition] |
Pubbl/distr/stampa | Boston, Mass., : Elsevier/Newnes, 2012 |
Descrizione fisica | 1 online resource (400 p.) |
Disciplina |
004.21
621.381 |
Altri autori (Persone) | WilmshurstTim |
Soggetto topico |
Embedded computer systems
Embedded computer systems - Design |
ISBN |
1-280-77922-5
9786613689610 0-08-097769-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Essentials of embedded systems, using the mbed -- pt. 2. Moving to advanced and specialist applications. |
Record Nr. | UNINA-9910779149403321 |
Toulson Rob | ||
Boston, Mass., : Elsevier/Newnes, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fast and effective embedded systems design [[electronic resource] ] : applying the ARM mbed / / Rob Toulson, Tim Wilmshurst |
Autore | Toulson Rob |
Edizione | [1st edition] |
Pubbl/distr/stampa | Boston, Mass., : Elsevier/Newnes, 2012 |
Descrizione fisica | 1 online resource (400 p.) |
Disciplina |
004.21
621.381 |
Altri autori (Persone) | WilmshurstTim |
Soggetto topico |
Embedded computer systems
Embedded computer systems - Design |
ISBN |
1-280-77922-5
9786613689610 0-08-097769-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Essentials of embedded systems, using the mbed -- pt. 2. Moving to advanced and specialist applications. |
Record Nr. | UNINA-9910825131603321 |
Toulson Rob | ||
Boston, Mass., : Elsevier/Newnes, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal methods for industrial critical systems : a survey of applications / / edited by Stefania Gnesi, Tiziana Margaria |
Pubbl/distr/stampa | Hoboken, New Jersey : , : John Wiley and Sons Incorporated, , [2012] |
Descrizione fisica | 1 online resource (294 p.) |
Disciplina |
004.21
620.86028551 |
Altri autori (Persone) |
GnesiStefania <1954->
Margaria-SteffenTiziana <1964-> |
Soggetto topico |
Formal methods (Computer science)
System design |
ISBN |
1-118-45989-X
1-283-85888-6 1-118-45986-5 |
Classificazione | COM059000 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
FOREWORD by Mike Hinchey xiii -- FOREWORD by Alessandro Fantechi and Pedro Merino xv -- PREFACE xvii -- CONTRIBUTORS xix -- PART I INTRODUCTION AND STATE OF THE ART 1 -- 1 FORMAL METHODS: APPLYING {LOGICS IN, THEORETICAL} COMPUTER SCIENCE 3 -- Diego Latella -- 1.1 Introduction and State of the Art 3 -- 1.2 Future Directions 9 -- PART II MODELING PARADIGMS 15 -- 2 A SYNCHRONOUS LANGUAGE AT WORK: THE STORY OF LUSTRE 17 -- Nicolas Halbwachs -- 2.1 Introduction 17 -- 2.2 A Flavor of the Language 18 -- 2.3 The Design and Development of Lustre and Scade 20 -- 2.4 Some Lessons from Industrial Use 25 -- 2.5 And Now . . . 28 -- 3 REQUIREMENTS OF AN INTEGRATED FORMAL METHOD FOR INTELLIGENT SWARMS 33 -- Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt -- 3.1 Introduction 33 -- 3.2 Swarm Technologies 35 -- 3.3 NASA FAST Project 39 -- 3.4 Integrated Swarm Formal Method 41 -- 3.5 Conclusion 55 -- PART III TRANSPORTATION SYSTEMS 61 -- 4 SOME TRENDS IN FORMAL METHODS APPLICATIONS TO RAILWAY SIGNALING 63 -- Alessandro Fantechi, Wan Fokkink, and Angelo Morzenti -- 4.1 Introduction 63 -- 4.2 CENELEC Guidelines 65 -- 4.3 Software Procurement in Railway Signaling 66 -- 4.4 A Success Story: The B Method 70 -- 4.5 Classes of Railway Signaling Equipment 71 -- 4.6 Conclusions 80 -- 5 SYMBOLIC MODEL CHECKING FOR AVIONICS 85 -- Radu I. Siminiceanu and Gianfranco Ciardo -- 5.1 Introduction 85 -- 5.2 Application: The Runway Safety Monitor 87 -- 5.3 A Discrete Model of RSM 95 -- 5.4 Discussion 107 -- PART IV TELECOMMUNICATIONS 113 -- 6 APPLYING FORMAL METHODS TO TELECOMMUNICATION SERVICES WITH ACTIVE NETWORKS 115 -- Marƒia del Mar Gallardo, Jesús Martƒinez, and Pedro Merino -- 6.1 Overview 115 -- 6.2 Active Networks 116 -- 6.3 The Capsule Approach 117 -- 6.4 Previous Approaches on Analyzing Active Networks 118 -- 6.5 Model Checking Active Networks with SPIN 122 -- 6.6 Conclusions 129 -- 7 PRACTICAL APPLICATIONS OF PROBABILISTIC MODEL CHECKING TO COMMUNICATION PROTOCOLS 133 -- Marie Dufl ot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston.
7.1 Introduction 133 -- 7.2 PTAs 134 -- 7.3 Probabilistic Model Checking 136 -- 7.4 Case Study: CSMA/CD 139 -- 7.5 Discussion and Conclusion 146 -- PART V INTERNET AND ONLINE SERVICES 151 -- 8 DESIGN FOR VERIFIABILITY: THE OCS CASE STUDY 153 -- Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen -- 8.1 Introduction 153 -- 8.2 The User Model 155 -- 8.3 The Models and the Framework 158 -- 8.4 Model Checking 159 -- 8.5 Validating Emerging Global Behavior via Automata Learning 161 -- 8.6 Related Work 170 -- 8.7 Conclusion and Perspectives 173 -- 9 AN APPLICATION OF STOCHASTIC MODEL CHECKING IN THE INDUSTRY: USER-CENTERED MODELING AND ANALYSIS OF COLLABORATION IN THINKTEAM 179 -- Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni -- 9.1 Introduction 179 -- 9.2 thinkteam 182 -- 9.3 Analysis of the thinkteam Log File 184 -- 9.4 thinkteam with Replicated Vaults 189 -- 9.5 Lessons Learned 201 -- 9.6 Conclusions 201 -- PART VI RUNTIME: TESTING AND MODEL LEARNING 205 -- 10 THE TESTING AND TEST CONTROL NOTATION TTCN-3 AND ITS USE 207 -- Ina Schieferdecker and Alain-Georges Vouffo-Feudjio -- 10.1 Introduction 207 -- 10.2 The Concepts of TTCN-3 210 -- 10.3 An Introductory Example 216 -- 10.4 TTCN-3 Semantics and Its Application 219 -- 10.5 A Distributed Test Platform for the TTCN-3 220 -- 10.6 Case Study I: Testing of Open Service Architecture (OSA)/Parlay Services 223 -- 10.7 Case Study II: Testing of IP Multimedia Subsystem (IMS) Equipment 225 -- 10.8 Conclusion 230 -- 11 PRACTICAL ASPECTS OF ACTIVE AUTOMATA LEARNING 235 -- Falk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria -- 11.1 Introduction 235 -- 11.2 Regular Extrapolation 239 -- 11.3 Challenges in Regular Extrapolation 244 -- 11.4 Interacting with Real Systems 247 -- 11.5 Membership Queries 250 -- 11.6 Reset 253 -- 11.7 Parameters and Value Domains 256 -- 11.8 The NGLL 260 -- 11.9 Conclusion and Perspectives 263 -- References 264 -- INDEX 269. |
Record Nr. | UNINA-9910141360103321 |
Hoboken, New Jersey : , : John Wiley and Sons Incorporated, , [2012] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal methods for industrial critical systems : a survey of applications / / edited by Stefania Gnesi, Tiziana Margaria |
Pubbl/distr/stampa | Hoboken, New Jersey : , : John Wiley and Sons Incorporated, , [2012] |
Descrizione fisica | 1 online resource (294 p.) |
Disciplina |
004.21
620.86028551 |
Altri autori (Persone) |
GnesiStefania <1954->
Margaria-SteffenTiziana <1964-> |
Soggetto topico |
Formal methods (Computer science)
System design |
ISBN |
1-118-45989-X
1-283-85888-6 1-118-45986-5 |
Classificazione | COM059000 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
FOREWORD by Mike Hinchey xiii -- FOREWORD by Alessandro Fantechi and Pedro Merino xv -- PREFACE xvii -- CONTRIBUTORS xix -- PART I INTRODUCTION AND STATE OF THE ART 1 -- 1 FORMAL METHODS: APPLYING {LOGICS IN, THEORETICAL} COMPUTER SCIENCE 3 -- Diego Latella -- 1.1 Introduction and State of the Art 3 -- 1.2 Future Directions 9 -- PART II MODELING PARADIGMS 15 -- 2 A SYNCHRONOUS LANGUAGE AT WORK: THE STORY OF LUSTRE 17 -- Nicolas Halbwachs -- 2.1 Introduction 17 -- 2.2 A Flavor of the Language 18 -- 2.3 The Design and Development of Lustre and Scade 20 -- 2.4 Some Lessons from Industrial Use 25 -- 2.5 And Now . . . 28 -- 3 REQUIREMENTS OF AN INTEGRATED FORMAL METHOD FOR INTELLIGENT SWARMS 33 -- Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt -- 3.1 Introduction 33 -- 3.2 Swarm Technologies 35 -- 3.3 NASA FAST Project 39 -- 3.4 Integrated Swarm Formal Method 41 -- 3.5 Conclusion 55 -- PART III TRANSPORTATION SYSTEMS 61 -- 4 SOME TRENDS IN FORMAL METHODS APPLICATIONS TO RAILWAY SIGNALING 63 -- Alessandro Fantechi, Wan Fokkink, and Angelo Morzenti -- 4.1 Introduction 63 -- 4.2 CENELEC Guidelines 65 -- 4.3 Software Procurement in Railway Signaling 66 -- 4.4 A Success Story: The B Method 70 -- 4.5 Classes of Railway Signaling Equipment 71 -- 4.6 Conclusions 80 -- 5 SYMBOLIC MODEL CHECKING FOR AVIONICS 85 -- Radu I. Siminiceanu and Gianfranco Ciardo -- 5.1 Introduction 85 -- 5.2 Application: The Runway Safety Monitor 87 -- 5.3 A Discrete Model of RSM 95 -- 5.4 Discussion 107 -- PART IV TELECOMMUNICATIONS 113 -- 6 APPLYING FORMAL METHODS TO TELECOMMUNICATION SERVICES WITH ACTIVE NETWORKS 115 -- Marƒia del Mar Gallardo, Jesús Martƒinez, and Pedro Merino -- 6.1 Overview 115 -- 6.2 Active Networks 116 -- 6.3 The Capsule Approach 117 -- 6.4 Previous Approaches on Analyzing Active Networks 118 -- 6.5 Model Checking Active Networks with SPIN 122 -- 6.6 Conclusions 129 -- 7 PRACTICAL APPLICATIONS OF PROBABILISTIC MODEL CHECKING TO COMMUNICATION PROTOCOLS 133 -- Marie Dufl ot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston.
7.1 Introduction 133 -- 7.2 PTAs 134 -- 7.3 Probabilistic Model Checking 136 -- 7.4 Case Study: CSMA/CD 139 -- 7.5 Discussion and Conclusion 146 -- PART V INTERNET AND ONLINE SERVICES 151 -- 8 DESIGN FOR VERIFIABILITY: THE OCS CASE STUDY 153 -- Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen -- 8.1 Introduction 153 -- 8.2 The User Model 155 -- 8.3 The Models and the Framework 158 -- 8.4 Model Checking 159 -- 8.5 Validating Emerging Global Behavior via Automata Learning 161 -- 8.6 Related Work 170 -- 8.7 Conclusion and Perspectives 173 -- 9 AN APPLICATION OF STOCHASTIC MODEL CHECKING IN THE INDUSTRY: USER-CENTERED MODELING AND ANALYSIS OF COLLABORATION IN THINKTEAM 179 -- Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni -- 9.1 Introduction 179 -- 9.2 thinkteam 182 -- 9.3 Analysis of the thinkteam Log File 184 -- 9.4 thinkteam with Replicated Vaults 189 -- 9.5 Lessons Learned 201 -- 9.6 Conclusions 201 -- PART VI RUNTIME: TESTING AND MODEL LEARNING 205 -- 10 THE TESTING AND TEST CONTROL NOTATION TTCN-3 AND ITS USE 207 -- Ina Schieferdecker and Alain-Georges Vouffo-Feudjio -- 10.1 Introduction 207 -- 10.2 The Concepts of TTCN-3 210 -- 10.3 An Introductory Example 216 -- 10.4 TTCN-3 Semantics and Its Application 219 -- 10.5 A Distributed Test Platform for the TTCN-3 220 -- 10.6 Case Study I: Testing of Open Service Architecture (OSA)/Parlay Services 223 -- 10.7 Case Study II: Testing of IP Multimedia Subsystem (IMS) Equipment 225 -- 10.8 Conclusion 230 -- 11 PRACTICAL ASPECTS OF ACTIVE AUTOMATA LEARNING 235 -- Falk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria -- 11.1 Introduction 235 -- 11.2 Regular Extrapolation 239 -- 11.3 Challenges in Regular Extrapolation 244 -- 11.4 Interacting with Real Systems 247 -- 11.5 Membership Queries 250 -- 11.6 Reset 253 -- 11.7 Parameters and Value Domains 256 -- 11.8 The NGLL 260 -- 11.9 Conclusion and Perspectives 263 -- References 264 -- INDEX 269. |
Record Nr. | UNINA-9910830558103321 |
Hoboken, New Jersey : , : John Wiley and Sons Incorporated, , [2012] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal methods in system design |
Pubbl/distr/stampa | Netherlands, : Kluwer Academic Publishers |
Disciplina | 004.21 |
Soggetto topico |
System design
Integrated circuits - Verification Systèmes, Conception de |
ISSN | 1572-8102 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910142422703321 |
Netherlands, : Kluwer Academic Publishers | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal methods in system design |
Pubbl/distr/stampa | Netherlands, : Kluwer Academic Publishers |
Disciplina | 004.21 |
Soggetto topico |
System design
Integrated circuits - Verification Systèmes, Conception de |
ISSN | 1572-8102 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996207842803316 |
Netherlands, : Kluwer Academic Publishers | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations for Designing User-Centered Systems [[electronic resource] ] : What System Designers Need to Know about People / / by Frank E. Ritter, Gordon D. Baxter, Elizabeth F. Churchill |
Autore | Ritter Frank E |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (460 p.) |
Disciplina | 004.21 |
Soggetto topico |
User interfaces (Computer systems)
Software engineering User Interfaces and Human Computer Interaction Software Engineering |
ISBN | 1-4471-5134-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Endorsements -- Foreword by Barry Boehm -- Part I – Introduction: Aims, Motivations, and Introduction to Human-Centered Design -- Introducing the Foundations of User-Centered Systems Design -- User-Centered Systems Design: A Brief History -- Part II - Design Relevant User Characteristics: The ABCS -- Anthropometrics: Important Aspects of Users' Bodies -- Behavioral: Basic Psychology of the User -- Cognitive: Memory, Attention, and Learning -- Cognitive: Mental Representations, Problem Solving, and Decision Making -- Cognitive: Human-Computer Communication -- Social: Social Cognition and Teamwork -- Social: Networks -- Summary of Users with Respect to Errors -- Part III – Methods -- Method I: Task Analysis -- Method II: Cognitive Dimensions and the Gulfs -- Method III: Empirical Evaluation -- Part IV – Summary -- Summary: Putting it All Together -- Appendix: The Kegworth Air Accident -- Glossary -- Index. |
Record Nr. | UNINA-9910299050603321 |
Ritter Frank E | ||
London : , : Springer London : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|