Kompilatorer

Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of …

While creativity plays an important role in the advancement of computer science, great ideas are built on a foundation of practical experience and knowledge. This book presents …

It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously …

This book deals with the aspects of modeling and solving real-world optimiza- tion problems in a unique combination. It treats systematically the major mod- eling languages and …

Beginning with an informal introduction to language equations, this book presents a framework for a general theory for solving systems of equations and relations between languages. …

Researches and developers of simulation models state that the Java program­ ming language presents a unique and significant opportunity for important changes in the way we develop …

Software Process Modeling brings together experts to discuss relevant results in software process modeling, and expresses their personal view of this field. This book focuses on …

Estimation of Distribution Algorithms: A New Tool for Evolutionary Computation is devoted to a new paradigm for evolutionary computation, named estimation of distribution …

Since the first edition of this book was written in 1977, there has been a tremendous increase in the use of Pascal. This increased use has had two significant effects. (1) It has …

Usability has become increasingly important as an essential part of the design and development of software and systems for all sectors of society, business, industry, government …