Sciweavers

2206 search results - page 33 / 442
» Software Engineering and Modeling Education: Problems and So...
Sort
View
WOSP
2004
ACM
15 years 11 months ago
Analysing UML 2.0 activity diagrams in the software performance engineering process
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
C. Canevet, Stephen Gilmore, Jane Hillston, Le&ium...
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 7 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
KBSE
1998
IEEE
15 years 10 months ago
Automating UI Generation by Model Composition
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
Kurt Stirewalt, Spencer Rugaber
JSW
2007
102views more  JSW 2007»
15 years 5 months ago
Model-driven Engineering for Early QoS Validation of Component-based Software Systems
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
James H. Hill, Aniruddha S. Gokhale
IJMSO
2007
76views more  IJMSO 2007»
15 years 5 months ago
Towards an automatic monitoring for higher education Learning Design
: The development of new Information Technologies have originated new possibilities to develop pedagogical methodologies that provide the necessary knowledge and skills in the High...
David Camacho, María Dolores Rodrígu...