Kooperativer Bibliotheksverbund

UID:

Format: 1 online resource (263 pages)

Edition: 3rd ed.

ISBN: 9781430261377

Note: Intro -- Contents -- Preface -- List of figures -- List of tables -- Chapter 1: Introduction to TouchDevelop -- 1.1 Computers want to be programmed -- 1.2 What is TouchDevelop? -- 1.3 The TouchDevelop ecosystem -- 1.4 History and Future -- 1.5 Platforms -- 1.5.1 Installing TouchDevelop on a Windows phone -- 1.5.2 Running TouchDevelop on other platforms -- 1.6 The scripting language -- Chapter 2: The Scripting Language -- 2.1 Introduction - the language flavor -- 2.1.1 A sample program (/okzc) -- 2.2 Datatypes and variables -- 2.2.1 The Invalid value -- 2.2.2 met hodThe Nothing type or an operation which does not return a usable result, but which -- Value types -- Number -- String -- 2.2.3 Reference types -- Reference types provided by the API -- Collection types -- 2.2.4 Tables anxtnhe planatioo tT pacbollectioolses en. 2s-s5en.d T types bhye tseh thaveh oreete hb ceeero cn lleotaggedcllteio -- 2.2.5The Objects for types. -- 2.2.6 Decorators -- 2.2.7 -- Global persistent data -- 2.2.8 -- Art items -- 2.3 Expressions -- 2.3.1 Constants -- Explicit Constants -- Named constants -- The invalid value -- 2.3.2script cVariables -- Local variables -- Global data variables -- Action parameters Parameters bmore associated -- 2.3.3 Operators -- 2.3.4 -- Calling an action -- 2.3.5 Calling an API method -- 2.4 Statements -- 2.4.1 Expression -- 2.4.2 Declaration and assignment -- 2.4.3 -- If statement -- 2.4.4 While loop -- 2.4.5 -- For loop -- 2.4.6 For each loop -- 2.5 Actions -- 2.5.1 Defining an action -- Public versus private -- 2.5.2 Call and return -- 2.5.3 Input parameters -- 2.5.4 Result parameters -- 2.5.5 Calling a library action -- Rebinding libraries -- Visibility -- 2.6 Events -- 2.7 Pages -- 2.8 Creating library scripts -- Implementation restrictions on libraries -- Chapter 3: The Wall - using the screen. , 3.1 Output - the writing on the wall -- 3.1.1 Output of simple values -- 3.1.2de fault Direction of Outputdirection of output -- 3.1.3Dappropriateproduces produces ispla yio bnOutput of composite values ge -- 3.1.4 -- Output of media values -- 3.1.5 Output of social values -- 3.1.6 Output of web value -- s -- 3.2 Input of values from the touchscreen -- 3.3 Updating the wall's content -- 3.3.1 Updatable textbox -- 3.3.2 For Updating a board display -- 3.4 Events on the touchscreen -- 3.4.1 Tap wall events -- 3.4.2 Tap board events -- 3.5 Pushing and popping pages -- 3.6 Titles and subtitles -- 3.7 Wall buttons -- 3.8 On-demand creation of output -- Chapter 4: The Web -- 4.1 URLs and webpages -- 4.1.1 Working with URLs -- 4.1.2 Creating and using web-based links -- Using the wall with web-based links -- 4.1.3 Checking the internet connection -- 4.2 Downloading and uploading files -- 4.2.1 Downloading a text file or downloading HTML -- 4.2.2 Download a picture -- 4.2.3 Downloading sounds of music -- 4.2.4 Uploading strings and files -- 4.3 Downloading structured data -- 4.3.1 Downloading information in JSON format -- 4.3.2ML i s shDownloading information in XML format -- 4.4 REST guidelines and web requests -- Chapter 5: Audio -- 5.1 Music -- 5.1.1 Working with collections of songs -- 5.1.2 Obtaining an individual song, available on all devices -- 5.1.3 Playing an individual song -- 5.1.4 An ex ample script -- 5.2 Sounds -- 5.3 Microphone -- Chapter 6: Camera, Graphics and Video -- 6.1 Camera -- 6.1.1 A sample program -- 6.2 Working with pictures -- 6.2.1 Picture albums and picture collections (Windows Phoneand Android) -- 6.2.2 Access to pictures on other devices -- 6.2.3 Manipulating a picture -- 6.3 Static graphics drawing and display -- 6.4 Playing videos from the internet -- Chapter 7: Sensors -- 7.1 The sensors -- 7.2 Sensor-driven events. , 7.2.1 Example script: A pedometer (/jbpv) -- 7.3 Accelerometer -- 7.3.1 Direction of acceleration forces -- 7.3.2 Example script: a light show (/tbcb) -- 7.4 Compass -- 7.4.1 Example script: a magnetic compass -- 7.5 Gyroscope -- 7.6 Motion -- Chapter 8: Interactions -- 8.1 Social messages -- 8.1.1 Working with messages -- 8.1.2 Message collections -- 8.2 Locations, places, maps -- 8.3 Emails -- 8.4 Phone Calls -- 8.5 2D barcodes -- 8.6 SMS messages (WP8 only) -- 8.7 Calendar and appointments (WP8 only) -- 8.8 Contacts (WP8 and Android only) -- Chapter 9: Game Board -- 9.1 Introduction -- 9.1.1 What is a sprite? -- 9.1.2 Coordinates and units -- 9.1.3 Game program structure -- 9.2 The Board datatype -- 9.2.1 Creating sprites -- 9.2.2 Obstacles and bounararies -- 9.2.3 Forces and animation -- Gravity and friction -- Springs and anchors -- 9.3 The Sprite datatype -- Visual attributes -- Position and motion -- Accelerations, forces and bounces -- 9.3.1 Managing sprites -- 9.4 The Sprite Collection datatype -- 9.5 Touching and board events -- 9.5.1 -- 9.5.1 Board touching actions -- 9.5.2 gameloop event -- 9.5.3 tap board event -- 9.5.4 swipe board event -- 9.5.5 tap sprite in XXX event -- 9.5.6 swipe sprite in XXX event -- 9.5.7 drag sprite in XXX event -- 9.5.8 tap sprite SSS, swipe sprite SSS, drag sprite SSS -- 9.6 Debugging games -- Chapter 10: UI with Boxes and Pages -- 10.1 Page Overview -- 10.2 Box Overview -- 10.3 Examples of Boxes and Pages -- 10.3.1 Page Example 1 -- 10.3.2 Page Example 2 -- 10.3.3 Page Example 3 -- 10.4 Working with Pages -- 10.4.1 Entering and Leaving a Page -- 10.4.2 Coding Restrictions -- 10.5 Live Editing of the User Interface -- 10.6 API Support for Boxes and Pages -- Chapter 11: Authenticating Web Services -- 11.1 Registering your app -- 11.2 Authenticating -- 11.3 Libraries -- 11.4 Advanced topics. , 11.4.1 Unique redirect URIs -- 11.4.2 State variable in redirect URI -- Chaper 12: Editing TouchDevelop Scripts -- A.1 The starting point -- A.2 The editing steps -- Getting started - providing an input parameter -- Adding the first statement to the action -- Adding the second and third statements -- Inserting the if statement -- Defining the Gameloop Event -- Trying out the script -- A.3 Additional steps -- Revising the script -- Publishing the script -- A.4 More advanced editing features -- A.4.1 Refactoring code into a new action -- A.4.2 I Copying and pasting code -- A.4.3 Surrounding code in a higher-level construct -- Chaper 13: TouchDevelop Services -- B.1 bazaar -- B.2 box -- B.3 collections -- B.4 colors -- B.5 contract -- B.6 invalid -- B.7 languages -- B.8 locations -- B.9 maps -- B.10 math -- B.11 media -- B.12 phone -- B.13 player -- B.14 senses -- B.15 social -- B.16 tags -- B.17 tile -- B.18 time -- B.19 wall -- B.20 web -- Chaper 14: TouchDevelop Datatypes -- C.1 Appointment -- C.2 Appointment Collection -- C.3 Board -- C.4 Boolean -- C.5 Camera -- C.6 Color -- C.7 Contact -- C.8 Contact Collection -- C.9 DateTime -- C.10 Form Builder -- C.11 Json Builder -- C.12 Json Object -- C.13 Link -- C.14 Link Collection -- C.15 Location -- C.16 Location Collection -- C.17 Map -- C.18 Matrix -- C.19 Message -- C.20 Message Collection -- C.21 Motion -- C.22 Number -- C.23 Number Collection -- C.24 Number Map -- C.25 OAuth Response -- C.26 Page -- C.27 Page Button -- C.28 Page Collection -- C.29 Picture -- C.30 Picture Album -- C.31 Picture Albums -- C.32 Pictures -- C.33 Place -- C.34 Place Collection -- C.35 Playlist -- C.36 Playlists -- C.37 Song -- C.38 Songs -- C.39 Song Album -- C.40 Song Albums -- C.41 Songs -- C.42 Sound -- C.43 Sprite -- C.44 Sprite Set -- C.45 String -- C.46 String Collection -- C.47 String Map -- C.48 TextBox. , C.49 Vector3 -- C.50 Web Request -- C.51 Web Response -- C.52 Xml Object -- Chaper 15: Platform Capabilities -- D.1 Supported Browsers -- D.2 General Features -- D.3 Supported Sensors and Devices -- D.4 Support for Services/Resources -- D.5 Support for Created Apps -- D.5.1 Apps for Windows Phone Store -- D.5.2 Apps for Windows Store -- Chaper 16: TouchDevelop Editor on a Windows Phone -- E.1 The sample program -- E.2 The back button, undo and mistakes -- E.3 The editing example -- E.4 Additional steps -- E.5 Refactoring code into a new action -- Index.

Additional Edition: Print version: Horspool, Nigel TouchDevelop Berkeley, CA : Apress L. P.,c2013 ISBN 9781430261360

Language: English

Keywords: Electronic books. ; Electronic books. ; Electronic books

URL: Click to View

URL: Click here to view book

URL: Full-text  ((OIS Credentials Required))

URL: lizenzpflichtig

UID:

Format: 1 online resource (xx, 250 pages) : , color illustrations.

Edition: 3rd ed. 2013.

ISBN: 1-4302-6137-4

Series Statement: The expert's voice in mobile technologies

Content: "The book is great! It's clear and easy to read, with loads of examples that showed my students what to do." -- Larry Snyder, Emeritus Professor, University of Washington, Department of Computer Science and Engineering “Having the TouchDevelop book available made our events so much easier. Students could figure things out for themselves with help from the book.” -- Jennifer Marsman, Microsoft Principal Developer Evangelist Mobile devices such as smartphones and tablets are set to become the main computers that virtually all people will own and carry with them at all times. And yet,mobile devices are not yet used for all computing tasks. A project at Microsoft Research was created to answer a simple question: “It is possible to create interesting apps directly on a smartphone or tablet, without using a separate PC or a keyboard?” The result is TouchDevelop, a programming environment that runs on all modern mobile devices such as Windows Phone, iPhone, iPad, Android phones and tablets, and also on PCs and Macs. This book walks you through all of the screens of the TouchDevelop app, and it points out similarities and differences of the TouchDevelop language compared to other programming languages. For users, the book can serve as a handyreference next to the phone. The book systematically addresses all programming language constructs, starting from the very basic constructs such as variables and loops. The book also explores many of the phone sensors and data sources which make creating apps for mobile devices so rewarding. If you are new to programming with TouchDevelop, or if you have not yet worked on touchscreen devices, we suggest that you read the book starting from Chapter 1. If you are already familiar with the basic paradigm of the TouchDevelop programming environment, then feel free to jump ahead to the later chapters that address particular topic areas. This book is written from the perspective of a person developing their code using a web browser. The TouchDevelop Web App runs in many modern browsers on many different devices including smartphones and tablets, Macs, PC. All screenshots and navigation instructions refer to the TouchDevelop Web App running in a browser. For Windows Phone, there is a dedicated TouchDevelop app in the Windows Phone Store which gives access to many more sensors and data sources. Starting with the TouchDevelop app v3.0 for Windows Phone 8, the phone app will share the same look and navigation structure and all features of the Web App.

Note: Includes index. , Introduction to TouchDevelop -- The Scripting Language -- The wall : using the screen -- The web -- Audio -- Camera, graphics and video -- Sensors -- Interactions -- Game board -- UI with boxes and pages -- Authenticating web services. , English

Additional Edition: ISBN 1-4302-6136-6

Language: English

DOI: 10.1007/978-1-4302-6137-7

UID:

Format: 1 Online-Ressource (270 p.)

ISBN: 9781430261377

Content: Computer science

Note: English

Language: English

URL: kostenfrei

UID:

Format: XII, 214 p. 76 illus. , online resource.

ISBN: 9783319090993

Series Statement: Lecture Notes in Computer Science, 8570

Content: This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.

Note: Model-Based Mutation Testing of an Industrial Measurement Device -- Computing with an SMT Solver -- An Abstraction Technique for Testing Decomposable Systems by Model Checking -- An All-in-One Toolkit for Automated White-Box Testing -- Behaviour Driven Development for Tests and Verification -- Quality Assurance in MBE Back and Forth -- Visualizing Unbounded Symbolic Execution -- Film stripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models -- Generating Classified Parallel Unit Tests -- JTACO: Test Execution for Faster Bounded Verification -- Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification -- A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing -- Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses: Tutorial Synopsis -- Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers -- Lightweight State Capturing for Automated Testing of Multithreaded Programs -- How Test Generation Helps Software Specification and Deductive Verification in Frama-C.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783319090986

Language: English

Subjects: Computer Science

Keywords: Konferenzschrift

DOI: 10.1007/978-3-319-09099-3

URL: http://dx.doi.org/10.1007/978-3-319-09099-3

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: Cover

URL: Inhaltstext

UID:

Format: 1 online resource (xx, 250 pages) : , color illustrations.

Edition: 3rd ed. 2013.

ISBN: 1-4302-6137-4

Series Statement: The expert's voice in mobile technologies

Content: "The book is great! It's clear and easy to read, with loads of examples that showed my students what to do." -- Larry Snyder, Emeritus Professor, University of Washington, Department of Computer Science and Engineering “Having the TouchDevelop book available made our events so much easier. Students could figure things out for themselves with help from the book.” -- Jennifer Marsman, Microsoft Principal Developer Evangelist Mobile devices such as smartphones and tablets are set to become the main computers that virtually all people will own and carry with them at all times. And yet,mobile devices are not yet used for all computing tasks. A project at Microsoft Research was created to answer a simple question: “It is possible to create interesting apps directly on a smartphone or tablet, without using a separate PC or a keyboard?” The result is TouchDevelop, a programming environment that runs on all modern mobile devices such as Windows Phone, iPhone, iPad, Android phones and tablets, and also on PCs and Macs. This book walks you through all of the screens of the TouchDevelop app, and it points out similarities and differences of the TouchDevelop language compared to other programming languages. For users, the book can serve as a handyreference next to the phone. The book systematically addresses all programming language constructs, starting from the very basic constructs such as variables and loops. The book also explores many of the phone sensors and data sources which make creating apps for mobile devices so rewarding. If you are new to programming with TouchDevelop, or if you have not yet worked on touchscreen devices, we suggest that you read the book starting from Chapter 1. If you are already familiar with the basic paradigm of the TouchDevelop programming environment, then feel free to jump ahead to the later chapters that address particular topic areas. This book is written from the perspective of a person developing their code using a web browser. The TouchDevelop Web App runs in many modern browsers on many different devices including smartphones and tablets, Macs, PC. All screenshots and navigation instructions refer to the TouchDevelop Web App running in a browser. For Windows Phone, there is a dedicated TouchDevelop app in the Windows Phone Store which gives access to many more sensors and data sources. Starting with the TouchDevelop app v3.0 for Windows Phone 8, the phone app will share the same look and navigation structure and all features of the Web App.

Note: Includes index. , Introduction to TouchDevelop -- The Scripting Language -- The wall : using the screen -- The web -- Audio -- Camera, graphics and video -- Sensors -- Interactions -- Game board -- UI with boxes and pages -- Authenticating web services. , English

Additional Edition: ISBN 1-4302-6136-6

Language: English

DOI: 10.1007/978-1-4302-6137-7

UID:

Format: XX, 250 S. : , Ill., graph. Darst.

Edition: 3. ed.

ISBN: 1-430-26136-6 , 978-1-4302-6136-0

Series Statement: The expert's voice in mobile technologies

Language: English

Subjects: Computer Science

Keywords: Touchscreen ; Programmierumgebung ; Programmiersprache

Author information: Horspool, R. Nigel, 1948-

UID:

Format: XIII, 492 p. 145 illus. , online resource.

ISBN: 9783642166129

Series Statement: Lecture Notes in Computer Science, 6418

Note: Invited Papers -- Automatic Requirement Extraction from Test Cases -- Code Contracts for .NET: Runtime Verification and So Much More -- Visual Debugging for Stream Processing Applications -- Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? -- Contracts for Scala -- Runtime Analysis and Instrumentation for Securing Software -- Tutorials -- Run-Time Verification of Networked Software -- Clara: Partially Evaluating Runtime Monitors at Compile Time -- You Should Better Enforce Than Verify -- Runtime Verification for the Web -- Statistical Model Checking: An Overview -- Runtime Verification with the RV System -- Regular and Short Papers -- A Meta-Aspect Protocol for Developing Dynamic Analyses -- Behavior Abstraction in Malware Analysis -- Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time -- Checking the Correspondence between UML Models and Implementation -- Compensation-Aware Runtime Monitoring -- Recovery Tasks: An Automated Approach to Failure Recovery -- Formally Efficient Program Instrumentation -- Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs -- Causality Analysis in Contract Violation -- Reducing Configurations to Monitor in a Software Product Line -- Runtime Instrumentation for Precise Flow-Sensitive Type Analysis -- Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects -- Verification of an AFDX Infrastructure Using Simulations and Probabilities -- Copilot: A Hard Real-Time Runtime Monitor -- StealthWorks: Emulating Memory Errors -- Efficient Data Race Detection for Async-Finish Parallelism -- Run-Time Verification of Optimistic Concurrency -- Who Guards the Guardians? — Toward V&V of Health Management Software -- Aspect-Oriented Instrumentation with GCC -- Runtime Verification for Software Transactional Memories -- Optimized Temporal Monitors for SystemC -- Runtime Verification of Stochastic, Faulty Systems -- Low-Overhead Bug Fingerprinting for Fast Debugging -- Tool Demonstrations -- ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems -- A Tool Which Mines Partial Execution Traces to Improve Static Analysis -- LarvaStat: Monitoring of Statistical Properties -- WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783642166112

Language: English

DOI: 10.1007/978-3-642-16612-9

URL: http://dx.doi.org/10.1007/978-3-642-16612-9

UID:

Format: XIX, 270 p. 69 illus. , online resource.

Edition: Third Edition.

ISBN: 9781430261377

Content: "The book is great! It's clear and easy to read, with loads of examples that showed my students what to do."        -- Larry Snyder, Emeritus Professor, University of Washington, Department of Computer Science and Engineering “Having the TouchDevelop book available made our events so much easier. Students could figure things out for themselves with help from the book.” -- Jennifer Marsman, Microsoft Principal Developer Evangelist Mobiledevices such as smartphones and tablets are set to become the main computersthat virtually all people will own and carry with them at all times. And yet,mobile devices are not yet used for all computing tasks. A project at MicrosoftResearch was created to answer a simple question: “It is possible to createinteresting apps directly on a smartphone or tablet, without using a separatePC or a keyboard?” The result is TouchDevelop, a programming environment thatruns on all modern mobile devices such as Windows Phone, iPhone, iPad, Androidphones and tablets, and also on PCs and Macs. This book walks you through all of the screens of the TouchDevelop app, and itpoints out similarities and differences of the TouchDevelop language comparedto other programming languages. For users, the book can serve as a handyreference next to the phone. The book systematically addresses all programminglanguage constructs, starting from the very basic constructs such as variablesand loops. The book also explores many of the phone sensors and data sourceswhich make creating apps for mobile devices so rewarding. If you are new to programming with TouchDevelop, or if you have not yet workedon touchscreen devices, we suggest that you read the book starting from Chapter1. If you are already familiar with the basic paradigm of the TouchDevelopprogramming environment, then feel free to jump ahead to the later chaptersthat address particular topic areas. This book is written from theperspective of a person developing their code using a web browser. TheTouchDevelop Web App runs in many modern browsers on many different devicesincluding smartphones and tablets, Macs, PC. All screenshots and navigationinstructions refer to the TouchDevelop Web App running in a browser. ForWindows Phone, there is a dedicated TouchDevelop app in the Windows Phone Storewhich gives access to many more sensors and data sources. Starting with theTouchDevelop app v3.0 for Windows Phone 8, the phone app will share the samelook and navigation structure and all features of the Web App.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9781430261360

Language: English

DOI: 10.1007/978-1-4302-6137-7

URL: http://dx.doi.org/10.1007/978-1-4302-6137-7