Listing 1 - 4 of 4 |
Sort by
|
Choose an application
Software engineering. --- Software engineering --- Computer programs. --- Computer software engineering --- Engineering
Choose an application
This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held in Thessaloniki, Greece, in October 2012. The total of 14 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 35 submissions. The papers cover the topics related to the use of Information and Communication Technology (ICT) and Open Source Software (OSS) as tools to foster and support Education, Innovation and Sustainability.
Teaching --- Computer assisted instruction --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- duurzaamheid --- vormgeving --- computers --- informatica --- maatschappij --- onderwijs --- mineralen (chemie) --- computerondersteund onderwijs --- simulaties --- mijnbouw --- duurzame ontwikkeling --- informatietechnologie --- software engineering --- KI (kunstmatige intelligentie) --- computerkunde --- robots
Choose an application
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book. Topics and features: Explains foundations, and introduces specification, verification, and testing methods Explores various application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods. Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan. Bernd-Holger Schlingloff is a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin. Gerardo Schneider is a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg. Siraj Ahmed Shaikh is a Professor in the Institute for Future Transport and Cities of Coventry University.
Mathematical logic --- Mathematics --- Applied physical engineering --- Engineering sciences. Technology --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- algebra --- ICT (informatie- en communicatietechnieken) --- toegepaste informatica --- applicatiebeheer --- apps --- computers --- economie --- informatica --- wiskunde --- software engineering --- ingenieurswetenschappen --- computerkunde --- architectuur (informatica)
Choose an application
This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held in Thessaloniki, Greece, in October 2012. The total of 14 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 35 submissions. The papers cover the topics related to the use of Information and Communication Technology (ICT) and Open Source Software (OSS) as tools to foster and support Education, Innovation and Sustainability.
Artificial Intelligence (incl. Robotics) --- Software engineering. --- Computer science. --- Artificial intelligence. --- Computer simulation. --- Education. --- Computers and Education. --- Simulation and Modeling. --- Computers and Society. --- Children --- Education, Primitive --- Education of children --- Human resource development --- Instruction --- Pedagogy --- Schooling --- Students --- Youth --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computer software engineering --- Informatics --- Education --- Computers and civilization. --- Computer Science. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- Data processing. --- Software engineering --- Formal methods (Computer science) --- Artificial Intelligence. --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Science --- Electromechanical analogies --- Mathematical models --- Model-integrated computing --- Engineering --- Civilization --- Learning and scholarship --- Mental discipline --- Schools --- Teaching --- Training --- Education—Data processing. --- Civilization and computers --- Computer Modelling. --- Computer uses in education --- Computers in education --- Educational computing --- Microcomputer uses in education --- Microcomputers in education
Listing 1 - 4 of 4 |
Sort by
|