3045 search results - page 115 / 609 » Formal Approaches to Software Architecture |
69
Voted
MICRO
1995
IEEE
15 years 2 months ago
1995
IEEE
Lack of object code compatibility in VLIW architectures is a severe limit to their adoption as a generalpurpose computing paradigm. Previous approaches include hardware and softwa...
107
click to vote
IMCSIT
2010
14 years 8 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
SIGSOFT
2005
ACM
15 years 11 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
DAC
1998
ACM
16 years 2 days ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
JSS
2010
14 years 5 months ago
2010
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...