ICECCS
1999
IEEE
13 years 8 months ago
1999
IEEE
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
ICECCS
1999
IEEE
13 years 8 months ago
1999
IEEE
ICECCS
1999
IEEE
13 years 8 months ago
1999
IEEE
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
ICECCS
1999
IEEE
13 years 8 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...