6581 search results - page 129 / 1317 » Formalizing Design Patterns |
109
click to vote
ICSE
1994
IEEE-ACM
15 years 7 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
113
click to vote
ECOWS
2007
Springer
15 years 9 months ago
2007
Springer
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
120
click to vote
IJSN
2008
15 years 3 months ago
2008
: Firewalls have been designed as a major component to protect a network or a server from being attacked. However, due to their emphasis on packet filtering rather than verifying u...
113
click to vote
SERP
2003
15 years 4 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
141
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...