Sciweavers

626 search results - page 12 / 126
» Closing the Gap Between Software Modelling and Code
Sort
View
WWW
2006
ACM
14 years 8 months ago
Capturing RIA concepts in a web modeling language
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
Alessandro Bozzon, Sara Comai, Piero Fraternali, G...
DATE
2005
IEEE
162views Hardware» more  DATE 2005»
14 years 1 months ago
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
Tim Schattkowsky, Wolfgang Müller 0003, Achim...
ICSE
2003
IEEE-ACM
14 years 7 months ago
Usability Engineering integrated with Requirements Engineering
In this paper we argue that the gap between Software Engineering and Human-Computer Interaction should be closed through the integration of usability engineering and requirements ...
Barbara Paech, Kirstin Kohler
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
14 years 27 days ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
OOPSLA
2007
Springer
14 years 1 months ago
SmartEMF: guidance in modeling tools
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inc...
Anders Hessellund