Seminar - Tool aided modeling of a “Tamagotchi” U N I V E R S I T ÄT K A I S E R S L A U T E RN Tamagotchi in ObjectGEODE

Source URL: www4.in.tum.de

• Tamagotchi
• Embedded system
• Extension
• Timer
• Finite-state machine
• Software development methodology
• Software
• Diagrams
• Specification and Description Language

ROOM-Method and ObjecTime Tool Authors: Markus Fröhler, Michael Gnatz, Marcus Lanzl Table of Content

Source URL: www4.in.tum.de

• Actor model
• Scientific modelling
• Channel
• Tamagotchi
• Computing
• Epistemology
• Ethology
• Diagrams
• Concurrent computing
• Operations research
• Simulation

Seminar Werkzeuggestützte Modellierung eines Tamagotchi Tamagotchi in ObjectGEODE U N I V E R S I T Ä T K A I S E R S L A U T E RN

Source URL: www4.in.tum.de

1 Statecharts language and Statemate Magnum 1. 1 Introduction The language of Statecharts has been developed to deal with the problems of specification and design of large reactive systems. The basic foundation for the S

Source URL: www4.in.tum.de

• Data types
• Type theory
• Tamagotchi
• Enumerated type
• C
• Computing
• Software engineering
• Programming language theory

Seminar Werkzeuggestützte Modellierung des Tamagotchi Ralf Hettesheimer & Kizito Ssamula Mukasa (WS1998/99) Faculty of Computer Science University of Kaiserslautern – Germany

Source URL: www4.in.tum.de

• Tamagotchi
• Specification
• Variable
• Environment variable
• Mathematics
• Economic model
• Mode
• Causality
• Computing
• Regression analysis
• Software engineering

Technische UniversitŠt MŸnchen FakultŠt fŸr Informatik Lehrstuhl fŸr Programmiermethodik und Verteilte Systeme Univ.-Prof. Dr. M. Broy

Source URL: www4.in.tum.de

• Petri nets
• Formal methods
• Model checking
• Tamagotchi
• Software engineering
• Visual programming language
• Computer science
• TAPAAL Model Checker
• Models of computation
• Concurrency
• Diagrams

MODEL: [removed]INSTRUCTIONS INTRODUCTION many years ago in a fantastic kingdom far away, an evil wizard terrorized the land. the ruler of this kingdom, PRINCE GIGA, was good and

Source URL: www.hasbro.com

• Human behavior
• Culture
• Tamagotchi
• Virtual pets
• Giga Pet
• Pet

MODEL: [removed]INSTRUCTIONS CONGRATULATIONS! you are the proud new owner of a GIGA PET, the take-itanywhere interactive pet! your new giga pet is going to need lots of attention to grow up healthy and happy. the healthie

Source URL: www.hasbro.com

• The Sims
• Tamagotchi
• Life simulation games
• Pet
• Virtual pets
• Human behavior

BAN1646 Tama Instr(3.0)kd

Source URL: www.virtualpet.com

• Digital media
• Tamagotchi Connection: Corner Shop 2
• Digital Monster
• Tamagotchi
• Computer hardware
• Application software

MODEL: [removed]INSTRUCTIONS CONGRATULATIONS! you are the proud new owner of a GIGA PET, the take-itanywhere interactive pet! your new giga pet is going to need lots of attention to grow up healthy and happy. the healthie

Source URL: www.hasbro.com

• The Sims
• Tamagotchi
• Life simulation games
• Pet
• Virtual pets
• Human behavior