977 search results - page 67 / 196 » Formal methods integration in software engineering |
141
click to vote
ICIW
2009
IEEE
15 years 10 months ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
173
click to vote
ANSOFT
2002
15 years 3 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
158
click to vote
JUCS
2000
15 years 3 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
132
click to vote
APSEC
2005
IEEE
15 years 9 months 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...
142
click to vote
CODES
2000
IEEE
15 years 8 months ago
2000
IEEE
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...