Sciweavers

4476 search results - page 214 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
EDOC
2008
IEEE
16 years 1 months ago
Using Enterprise Architecture Models for System Quality Analysis
Enterprise Architecture is a model-based approach to business-oriented IT management. To promote good IT decision making, an Enterprise Architecture framework needs to explicate w...
Per Närman, Marten Schönherr, Pontus Joh...
EDOC
2006
IEEE
16 years 20 days ago
Exploring Intentional Modeling and Analysis for Enterprise Architecture
— An enterprise architecture is intended to be a comprehensive blueprint describing the key components and relationships for an enterprise from strategies to business processes t...
Eric S. K. Yu, Markus Strohmaier, Xiaoxue Deng
MODELS
2009
Springer
16 years 1 months ago
Teaching Object-Oriented Modeling and UML to Various Audiences
This paper summarizes the experience of teaching objectoriented modeling and UML for more than a decade to various audiences (academic or corporate, software developers or not). W...
Sabine Moisan, Jean-Paul Rigault
AOSE
2001
Springer
15 years 11 months ago
Agent-Oriented Modelling: Software versus the World
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
Eric S. K. Yu
IFIP
2004
Springer
15 years 12 months ago
Static program transformations for efficient software model checking
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
Shobha Vasudevan, Jacob A. Abraham