Roel J. Wieringa - Böcker
Visar alla böcker från författaren Roel J. Wieringa. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Advanced Information Systems Engineering
21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009, Proceedings
Häftad, Engelska, 2009
550 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 21st International Conference on Advanced Information Systems Engineering, CAiSE 2009, held in Amsterdam, The Netherlands, on June 8-12, 2009. The 36 papers presented in this book together with 6 keynote papers were carefully reviewed and selected from 230 submissions. The topics covered are model driven engineering, conceptual modeling, quality and data integration, goal-oriented requirements engineering, requirements and architecture, service orientation, Web service orchestration, value-driven modeling, workflow, business process modeling, and requirements engineering.
906 kr
Skickas inom 10-15 vardagar
It provides guidelines on how to effectively structure research goals, how to analyze research problems concerning design goals and knowledge questions, how to validate artifact designs and how to empirically investigate artifacts in context – and finally how to present the results of the design cycle as a whole.
608 kr
Skickas inom 10-15 vardagar
It provides guidelines on how to effectively structure research goals, how to analyze research problems concerning design goals and knowledge questions, how to validate artifact designs and how to empirically investigate artifacts in context – and finally how to present the results of the design cycle as a whole.
Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop
Inbunden, Engelska, 1995
1 643 kr
Tillfälligt slut
This volume contains papers on formal system specification. The chapters treat algebraic specification, temporal logic specification, default specifications and deontic logic specification. Applications include information systems, distributed systems, and real-time systems. One of the major themes in the book is the motivation to bring formal specification techniques one step further towards realistic applications.