Sciweavers

1522 search results - page 123 / 305
» Practical Exception Specifications
Sort
View
ICSE
2003
IEEE-ACM
16 years 1 months ago
Problems and Programmers: An Educational Software Engineering Card Game
Problems and Programmers is an educational card game that we have developed to help teach software engineering. It is based on the observation that students, in a typical software...
Alex Baker, Emily Oh Navarro, André van der...
HICSS
2009
IEEE
123views Biometrics» more  HICSS 2009»
15 years 8 months ago
Towards Conceptual Metamodeling of IT Governance Frameworks Approach - Use - Benefits
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...
Matthias Goeken, Stefanie Alter
MODELS
2009
Springer
15 years 8 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
HICSS
2008
IEEE
133views Biometrics» more  HICSS 2008»
15 years 8 months ago
A Study of the Causal Relationship between IT Governance Inhibitors and Its Success in Korea Enterprises
In recent years, the emergence of the term IT Governance (ITG) has pointed to the increasing importance for business of effecting an alignment between its strategic direction and ...
Chi-Hoon Lee, Jung-Hoon Lee, Jong-Sung Park, Kap-Y...
HICSS
2006
IEEE
112views Biometrics» more  HICSS 2006»
15 years 8 months ago
Tool Support for the Collaborative Design of Reference Models - A Business Engineering Perspective
The central idea in reference modeling is the reutilization of the business knowledge contained in reference models for the construction of specific information models. The orient...
Oliver Thomas, August-Wilhelm Scheer