15 search results - page 1 / 3 » iceccs 2005 |
ICECCS
2005
IEEE
13 years 10 months ago
2005
IEEE
ICECCS
2005
IEEE
13 years 10 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
ICECCS
2005
IEEE
13 years 10 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
ICECCS
2005
IEEE
13 years 10 months ago
2005
IEEE
Middleware enables distributed components to interact with each others in diverse and complex manners. Such interactions should be modeled at architecture level for controlling th...
ICECCS
2005
IEEE
13 years 10 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...