3045 search results - page 24 / 609 » Formal Approaches to Software Architecture |
ADAEUROPE
2001
Springer
14 years 3 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
JSW
2006
13 years 10 months ago
2006
Good software architecture is critically important for successful software development. The software architecture can be defined as a set of architectural design decisions. However...
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
14 years 4 months ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
FMCAD
2004
Springer
14 years 2 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
COMPSAC
2003
IEEE
14 years 4 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...