3828 search results - page 461 / 766 » Proof-Based System Engineering Using a Virtual System Model |
204
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
196
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
168
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
187
click to vote
BIS
2006
15 years 8 months ago
2006
Abstract Nowadays, process oriented software systems, like many business information systems, don't exist only in one single version, but in many variants for better coverage ...
185
click to vote
KBSE
2003
IEEE
16 years 3 days ago
2003
IEEE
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...