4890 search results - page 61 / 978 » From system specifications to component behavioral models |
REX
1991
15 years 1 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
HCI
2009
14 years 7 months ago
2009
Domain-specific modeling is a powerful technique to describe complex systems in a precise but still understandable way. Rapid creation of graphical Domain-Specific Languages (DSLs)...
WER
2001
Springer
15 years 2 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Software engineers frequently update COTS components integrated in component-based systems, and can often chose among many candidates produced by different vendors. This paper tac...
101
click to vote
RTCSA
1997
IEEE
15 years 2 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...