Author: Gunter Saake
Publisher:
ISBN:
Category :
Languages : en
Pages :

View

Book Description

Author: Egidio Astesiano
Publisher: Springer Science & Business Media
ISBN: 364259851X
Category : Computers
Languages : en
Pages : 626

View

Book Description
This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.

Author: A. Hameurlain
Publisher: Springer Science & Business Media
ISBN: 9783540634782
Category : Business & Economics
Languages : en
Pages : 712

View

Book Description
This book contains the refereed proceedings of the 8th International Conference on Database and Expert Systems Applications, DEXA '97, held in Toulouse, France, September 1997. The 62 revised full papers presented in the book, together with three invited contributions, were selected from a total of 159 submissions. The papers are organized in sections on modeling, object-oriented databases, active and temporal aspects, images, integrity constraints, multimedia databases, deductive databases and knowledge-based systems, allocation concepts, data interchange, digital libraries, transaction concepts, learning issues, optimization and performance, query languages, maintenance, federated databases, uncertainty handling and qualitative reasoning, and software engineering and reusable software.

Author: Antonio Vallecillo
Publisher: Springer
ISBN: 3642314910
Category : Computers
Languages : en
Pages : 456

View

Book Description
This book constitutes the refereed proceedings of the 8th European Conference on Modelling Foundations and Applications, held in Kgs. Lyngby, Denmark, in July 2012. The 20 revised full foundations track papers and 10 revised full applications track papers presented were carefully reviewed and selected from 81 submissions. Papers on all aspects of MDE were received, including topics such as architectural modelling and product lines, code generation, domain-specic modeling, metamodeling, model analysis and verication, model management, model transformation and simulation. The breadth of topics, as well as the high quality of the results presented in these accepted papers, demonstrate the maturity and vibrancy of the field.

Author: Alexander Pasko
Publisher: Springer Science & Business Media
ISBN: 3540684417
Category : Computers
Languages : en
Pages : 292

View

Book Description
Heterogeneous object modeling is a new and quickly developing research area. This book systematically covers the most relevant themes and problems of this new and challenging subject area.

Author: Zbigniew W. Ras
Publisher: Springer Science & Business Media
ISBN: 9783540612865
Category : Computers
Languages : en
Pages : 684

View

Book Description
This book constitutes the refereed proceedings of the 9th International Symposium on Methodologies for Intelligent Systems, ISMIS '96, held in Zakopane, Poland, in June 1996. The 53 revised full papers presented were selected from a total of 124 submissions; also included are 10 invited papers by leading experts surveying the state of the art in the area. The volume covers the following areas: approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation and integration, learning and knowledge discovery, and AI logics.

Author: Jan Chomicki
Publisher: Springer Science & Business Media
ISBN: 1461556430
Category : Computers
Languages : en
Pages : 442

View

Book Description
Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu able, so it should be archived and some means to access it should be provided. Also, some data may be inherently historical, e.g., medical, cadastral, or ju dicial records. Temporal databases provide a uniform and systematic way of dealing with historical data. Many languages have been proposed for tem poral databases, among others temporal logic. Temporal logic combines ab stract, formal semantics with the amenability to efficient implementation. This chapter shows how temporal logic can be used in temporal database applica tions. Rather than presenting new results, we report on recent developments and survey the field in a systematic way using a unified formal framework [GHR94; Ch094]. The handbook [GHR94] is a comprehensive reference on mathematical foundations of temporal logic. In this chapter we study how temporal logic is used as a query and integrity constraint language. Consequently, model-theoretic notions, particularly for mula satisfaction, are of primary interest. Axiomatic systems and proof meth ods for temporal logic [GHR94] have found so far relatively few applications in the context of information systems. Moreover, one needs to bear in mind that for the standard linearly-ordered time domains temporal logic is not re cursively axiomatizable [GHR94]' so recursive axiomatizations are by necessity incomplete.

Author: Mehdi Khosrowpour
Publisher: IGI Global
ISBN:
Category :
Languages : en
Pages : 250

View

Book Description

Author: Shi-kuo Chang
Publisher: World Scientific
ISBN: 9814480703
Category : Computers
Languages : en
Pages : 530

View

Book Description
The book covers the recent new advances in software engineering and knowledge engineering. It is intended as a supplement to the two-volume handbook of software engineering and knowledge engineering. The editor and authors are well-known international experts in their respective fields of expertise. Each chapter in the book is entirely self-contained and gives in-depth information on a specific topic of current interest. This book will be a useful desktop companion for both practitioners and students of software engineering and knowledge engineering.

Author: Bernd Kleinjohann
Publisher: Springer
ISBN: 0387354093
Category : Computers
Languages : en
Pages : 240

View

Book Description
Due to the decreasing production costs of IT systems, applications that had to be realised as expensive PCBs formerly, can now be realised as a system-on-chip. Furthermore, low cost broadband communication media for wide area communication as well as for the realisation of local distributed systems are available. Typically the market requires IT systems that realise a set of specific features for the end user in a given environment, so called embedded systems. Some examples for such embedded systems are control systems in cars, airplanes, houses or plants, information and communication devices like digital TV, mobile phones or autonomous systems like service- or edutainment robots. For the design of embedded systems the designer has to tackle three major aspects: The application itself including the man-machine interface, The (target) architecture of the system including all functional and non-functional constraints and, the design methodology including modelling, specification, synthesis, test and validation. The last two points are a major focus of this book. This book documents the high quality approaches and results that were presented at the International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), which was sponsored by the International Federation for Information Processing (IFIP), and organised by IFIP working groups WG10.3, WG10.4 and WG10.5. The workshop took place on October 18-19, 2000, in Schloß Eringerfeld near Paderborn, Germany. Architecture and Design of Distributed Embedded Systems is organised similar to the workshop. Chapters 1 and 4 (Methodology I and II) deal with different modelling and specification paradigms and the corresponding design methodologies. Generic system architectures for different classes of embedded systems are presented in Chapter 2. In Chapter 3 several design environments for the support of specific design methodologies are presented. Problems concerning test and validation are discussed in Chapter 5. The last two chapters include distribution and communication aspects (Chapter 6) and synthesis techniques for embedded systems (Chapter 7). This book is essential reading for computer science researchers and application developers.