1121 search results - page 48 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
106
click to vote
ANSOFT
2002
15 years 1 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
117
click to vote
ASWEC
2010
IEEE
15 years 1 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
125
click to vote
JUCS
2008
15 years 1 months ago
2008
: In this article we explain how we apply the CIAM methodology based on the CIAN notation in order to generate user interfaces in collaborative applications. CIAM has been applied ...
122
Voted
EDOC
2003
IEEE
15 years 7 months ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
GROUP
1999
ACM
15 years 6 months ago
1999
ACM
Many object-oriented toolkits and frameworks for groupware development provide shared objects as a basic service. This relieves developers of a lot of problems originating from th...