3799 search results - page 374 / 760 » An Engineering Approach to Formal Methods |
164
click to vote
APSEC
2005
IEEE
16 years 13 days ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
178
click to vote
ICCBSS
2005
Springer
16 years 10 days ago
2005
Springer
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
155
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
196
click to vote
ICSE
1993
IEEE-ACM
15 years 11 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
210
Voted
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...