Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented in this book describe useful and sometimes elegant concepts, good practices (in programming and in specifications), and solid underlying theory that is of interest and importance to those who deal with increased complexity of business and systems. Most concepts have been successfully used in actual industrial projects, while others are from the forefront of research. Authors include practitioners, business thinkers, academics and applied...
Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented...
Der vorliegende Ubungsband enthalt Aufgaben zu einer viersemestrigen Vorlesung "Einfuhrung in die Informatik." Er ist eng abgestimmt auf die zweibandige Informatik-Einfuhrung von M. Broy - das Gelernte kann so von der Theorie in die Praxis umgesetzt werden. Neben Aufgaben, die alle wichtigen Themengebiete der Einfuhrung abdecken, werden vertiefende und weiterfuhrende Aufgaben angeboten. Daruber hinaus umfasst das Buch Programmieraufgaben in den funktionalen bzw. objektorientierten Sprachen Gofer und Java sowie der Assemblersprache MI, erganzt durch kurze Einfuhrungen in diese modernen...
Der vorliegende Ubungsband enthalt Aufgaben zu einer viersemestrigen Vorlesung "Einfuhrung in die Informatik." Er ist eng abgestimmt auf die zweibandi...
Die Unified Modeling Language (UML) hat sich zur dominanten Modellierungssprache entwickelt. Als weiterer Trend ist zu beobachten, dass agile Methoden immer breiter eingesetzt werden. Der Band bietet eine Einfuhrung in die Entwicklungsmethodik, die UML mit Elementen agiler Methoden kombiniert. Im Tutorial wird beschrieben, wie UML eingesetzt wird. Dabei werden Klassen-, Objekt- und Sequenzdiagramme, Statecharts sowie die Object Constraint Language (OCL) anhand vieler Beispiele erlautert. Die 2.Auflage basiert auf UML 2.3 sowie der Java-Version 6."
Die Unified Modeling Language (UML) hat sich zur dominanten Modellierungssprache entwickelt. Als weiterer Trend ist zu beobachten, dass agile Methoden...
Die Unified Modeling Language (UML) hat sich zur dominanten Modellierungssprache entwickelt, agile Methoden werden inzwischen bei vielen Softwareentwicklungen eingesetzt. In dem Buch wird ein Ansatz vorgestellt, der UML mit Elementen agiler Methoden kombiniert und deshalb fur den Einsatz in Anwendungsdomanen besonders geeignet ist. Die 2.Auflage wurde durchgehend uberarbeitet und basiert auf UML 2.3 sowie der Java-Version 6. Auf der Internetseite http: //www.se-rwth.de/mbse ist weiterfuhrendes Material bereitgestellt."
Die Unified Modeling Language (UML) hat sich zur dominanten Modellierungssprache entwickelt, agile Methoden werden inzwischen bei vielen Softwareentwi...
Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented in this book describe useful and sometimes elegant concepts, good practices (in programming and in specifications), and solid underlying theory that is of interest and importance to those who deal with increased complexity of business and systems. Most concepts have been successfully used in actual industrial projects, while others are from the forefront of research. Authors include practitioners, business thinkers, academics and applied...
Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented...
This book documents the scientific results of the projects related to the Trusted Cloud Program, covering fundamental aspects of trust, security, and quality of service for cloud-based services and applications. These results aim to allow trustworthy IT applications in the cloud by providing a reliable and secure technical and legal framework. In this domain, business models, legislative circumstances, technical possibilities, and realizable security are closely interwoven and thus are addressed jointly.
The book is organized in four parts on -Security and Privacy-, -Software...
This book documents the scientific results of the projects related to the Trusted Cloud Program, covering fundamental aspects of trust, security, a...
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.
The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in ...
This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The 25 papers included in this volume were carefully reviewed and selected from 32 submissions. The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods.The four workshops were:
ATSE 2015: The 6th Workshop on Automating Test Case Design,...
This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods...
This book documents the scientific results of the projects related to the Trusted Cloud Program, covering fundamental aspects of trust, security, and quality of service for cloud-based services and applications. These results aim to allow trustworthy IT applications in the cloud by providing a reliable and secure technical and legal framework. In this domain, business models, legislative circumstances, technical possibilities, and realizable security are closely interwoven and thus are addressed jointly.
The book is organized in four parts on "Security and Privacy," "Software...
This book documents the scientific results of the projects related to the Trusted Cloud Program, covering fundamental aspects of trust, security, a...
