3045 search results - page 186 / 609 » Formal Approaches to Software Architecture |
MASCOTS
2003
15 years 21 days ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
190
click to vote
CBMS
2006
IEEE
15 years 5 months ago
2006
IEEE
The growing complexity of distributed biomedical application requirements present new challenges to the representation of software architectural analysis and design. This is the c...
CSMR
2004
IEEE
15 years 3 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...
EUROMICRO
1998
IEEE
15 years 3 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
110
click to vote
ICFEM
1998
Springer
15 years 3 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...