Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
اقرأ المزيد
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...
اقرأ المزيد
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...
اقرأ المزيد
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...
اقرأ المزيد
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...
اقرأ المزيد
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
اقرأ المزيد
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
اقرأ المزيد
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
اقرأ المزيد
Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical ...
اقرأ المزيد
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيدCentral to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيدCentral to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيد
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيد
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيد
Introduces students to entirely new definitions and theories of the Critical Path Method (CPM), the leading scheduling method, ...
اقرأ المزيد
History based access control and secure information flow The spec# programming system Mastering test generation from smart ...
اقرأ المزيد
Intended to be used as a textbook in undergraduate civil engineering and construction courses to introduce cutting edge mechanical, ...
اقرأ المزيد
Significant gains in productivity can be achieved through advanced terminal layouts, more efficient IT-support and improved ...
اقرأ المزيد
This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...
اقرأ المزيد