Sciweavers

4919 search results - page 367 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
COMPSAC
2002
IEEE
15 years 11 months ago
Trust Services: A Framework for Service-Based Solutions
It is well understood that using a software component methodology can simplify the development and maintenance of systems. Web services allow this vision to be extended allowing c...
Adrian Baldwin, Simon Shiu, Marco Casassa Mont
186
Voted
CASCON
2006
162views Education» more  CASCON 2006»
15 years 7 months ago
Integrating dynamic views using model driven development
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
R. Ian Bull
SIGSOFT
2009
ACM
16 years 6 months ago
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
Esteban Pavese, Sebastián Uchitel, Ví...
MODELS
2007
Springer
16 years 8 days ago
Model Driven Development of Complex User Interface
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
Xudong Lu, Jiancheng Wan
177
Voted
WOSP
2005
ACM
15 years 11 months ago
Performance by unified model analysis (PUMA)
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
C. Murray Woodside, Dorina C. Petriu, Dorin Bogdan...