12333 search results - page 641 / 2467 » System Level Modelling for Hardware Software Systems |
206
click to vote
EUROMICRO
2003
IEEE
16 years 15 days ago
2003
IEEE
Extreme programming (XP) is the most well known agile software development method. Many experience reports have been published in recent years. Successful XP adoptions have howeve...
195
click to vote
APSEC
2005
IEEE
16 years 25 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
164
click to vote
SOCO
2008
Springer
15 years 7 months ago
2008
Springer
Flexibility can significantly impact performance. Some component-based frameworks come with a near to zero overhead but provide only build-time configurability. Other solutions pro...
174
click to vote
DATE
2005
IEEE
16 years 25 days ago
2005
IEEE
Unified Modeling Language (UML) 2.0 is emerging in the area of embedded system design. This paper presents a new UML 2.0 profile - called TUT-Profile - that introduces a set of st...
225
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...