Sciweavers

4799 search results - page 500 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
FASE
2008
Springer
15 years 8 months ago
Correctness-Preserving Configuration of Business Process Models
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...
Wil M. P. van der Aalst, Marlon Dumas, Florian Got...
FASE
2001
Springer
15 years 11 months ago
A CSP View on UML-RT Structure Diagrams
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
Clemens Fischer, Ernst-Rüdiger Olderog, Heike...
CODES
2005
IEEE
16 years 15 days ago
Comparing the size of .NET applications with native code
Byte-code based languages are slowly becoming adopted in embedded domains because of improved security and portability. Another potential reason for their adoption is the reputati...
Roberto Costa, Erven Rohou
GEOINFO
2003
15 years 8 months ago
Planning Brazilian Urban Traffic with a Geographic Application Software
Planning and optimizing urban traffic is a difficult problem, with considerable economic and social impacts. The development of suitable software tools to aid municipal governments...
Juliano Lopes de Oliveira, André Constantin...
ICSE
2004
IEEE-ACM
16 years 7 months ago
AcmeStudio: Supporting Style-Centered Architecture Development
Software architectural modeling is crucial to the development of high-quality software. Software engineering tool support is required for this activity, so that models can be deve...
Bradley R. Schmerl, David Garlan