Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.Covers modeling and verification methodologies targeting digital and analog systems;Addresses firmware development and validation;Targets both functional and non-functional properties;Includes descriptions of methods for reliable system design."

"This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010. FDL is a well established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modelling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems."

"The book offers a quick-start into model-based business process engineering. After that, the foundations of the modeling languages used are conveyed. Meaningful examples are in the foreground, each of the underlying formalisms is treated only as far as needed. Next the Horus Method is described in detail. The book defines a sequence of activities which finally leads to the creation of a complete business process model. The Horus Method, incidentally, is not bound to the use of the Horus software tools. It can be used with other tools or, if necessary, be used even without tool support. Important application fields of business process engineering are described, where the spectrum ranges from business process reengineering to the development and implementation of information systems. The book concludes with an outlook on the future of business process engineering and highlights current research activities in the area."

"how do you use methods to create unique outcomes in the architectural design process? - how do you set up methods that have a high degree of success based on your intentions? - how do you develop and apply conceptual tools to assist in the design process? - how do you use methods to satisfy the cultural needs of innovation and usability? - how do you make an architectural design inherently defensible? All of these questions and more are answered by examining the architectural design process from the point of view of knowledge domains, domain syntax, coherence, framing, thinking styles, decision-making and testing. Using straightforward language, the book connects general design thinking to underlying frameworks that are used in the architectural design process. The book provides historical grounding as well as clear examples of real design outcomes. It includes diagrams and explanations to make that content accessible. The frameworks and their methods are described by what they can accomplish, what biases they introduce and the use of their final outcomes. Revealing Architectural Design will be useful to anyone interested in increasing the quality of their architectural design proposals through understanding the conceptual tools used to achieve that process. While it is intended for undergraduate and graduate students of architectural design, it will also be useful for experienced architectural practitioners. For the non-architect, this book opens a window into the priorities of a discipline seldom presented with such transparency"