128 search results - page 2 / 26 » Towards an Automatic Integration of Statecharts |
WSCG
2004
13 years 5 months ago
2004
In this paper we present a method which progresses towards automatically generating the texture maps for the building fa
PRIMA
2009
Springer
13 years 11 months ago
2009
Springer
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
ECBS
2011
IEEE
12 years 4 months ago
2011
IEEE
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...
I3E
2001
13 years 5 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
ASE
2006
13 years 4 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...