Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008. The volume presents three courses on type theory: an introductory tutorial, a course on type-based termination, and a practical introduction to dependent types. A case study of a static analyzer based on abstract interpretation, a tutorial on combinator parsing, and a study of extended static checking using a point-free transform completes the volume. Together these contributions will be an invaluable tool for graduate students and researchers looking forward to keeping up to date with the latest developments in rigorous approaches to software development.

Computer software --Development --Congresses. --- Formal methods (Computer science) --Congresses. --- Programming languages (Electronic computers) --Congresses. --- Type theory --Congresses. --- Computer software --- Formal methods (Computer science) --- Programming languages (Electronic computers) --- Type theory --- Computer Science --- Engineering & Applied Sciences --- Development --- Information Technology --- Software Engineering --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer simulation. --- Management information systems. --- Computer Science. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Simulation and Modeling. --- Programming Techniques. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Communication systems --- Programming --- Logic, Symbolic and mathematical --- Information Systems.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, held in Langenargen, Germany, in September 2009. The 28 revised papers were selected from 46 submissions. The papers are organized in topical sections on modelling; transaction level modelling; scheduling and real-time systems; simulation, verification and test; platforms and processors; automotive systems; and wireless sensor networks. The volume also includes three case studies and two tutorials.

Automotive computers -- Congresses. --- Automotive computers. --- Embedded computer systems -- Congresses. --- Embedded computer systems. --- Embedded computer systems --- Automotive computers --- Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Automotive microcontrollers --- Computer science. --- Computer organization. --- Special purpose computers. --- Computer system failures. --- User interfaces (Computer systems). --- Artificial intelligence. --- Computer-aided engineering. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computer-Aided Engineering (CAD, CAE) and Design. --- User Interfaces and Human Computer Interaction. --- Special Purpose and Application-Based Systems. --- System Performance and Evaluation. --- Computer Systems Organization and Communication Networks. --- CAE --- Engineering --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Special purpose computers --- Computers --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Data processing --- Failures --- Automobiles --- Microcontrollers --- Electronic equipment --- Computer aided design. --- Software engineering. --- Computer system performance. --- Computer network architectures. --- Artificial Intelligence. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer software engineering --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Human-computer interaction. --- Computers, Special purpose. --- Computer engineering. --- Computer networks. --- Computer Engineering and Networks. --- Evaluation. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Computer-human interaction --- Human factors in computing systems --- Interaction, Human-computer --- Human engineering --- User-centered system design --- User interfaces (Computer systems) --- Distributed processing --- Design and construction