1014 search results - page 81 / 203 » Testing Object Oriented Software |
134
click to vote
ENTCS
2008
15 years 2 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
106
click to vote
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we study the interconnection between relationships and roles. We start from the patterns used to introduce relationships in object oriented languages. We show how th...
136
click to vote
APAQS
2000
IEEE
15 years 6 months ago
2000
IEEE
Recently, the extraordinarygrowth in the World Wide Web has been sweeping through business and industry. Many companies have developed or integrated their mission-critical applica...
138
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
103
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
ion. riented language features, such as abstract classes, inheritance, dynamic binding, and parameterized types. Middleware, such as object-oriented frameworks for host infrastruct...