Sciweavers

356 search results - page 59 / 72
» Interaction Diagrams
Sort
View
144
Voted
INFSOF
2007
104views more  INFSOF 2007»
15 years 3 months ago
A state-based approach to integration testing based on UML models
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
Shaukat Ali, Lionel C. Briand, Muhammad Jaffar-Ur ...
131
Voted
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 7 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu
149
Voted
ICSE
2007
IEEE-ACM
15 years 9 months ago
Design, Implementation and Deployment of State Machines Using a Generative Approach
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
Graham N. C. Kirby, Alan Dearle, Stuart J. Norcros...
160
Voted
CIVR
2008
Springer
181views Image Analysis» more  CIVR 2008»
15 years 5 months ago
Supporting video library exploratory search: when storyboards are not enough
Storyboards, a grid layout of thumbnail images as surrogates representing video, have received much attention in video retrieval interfaces and published studies through the years...
Michael G. Christel
141
Voted
CAL
2006
15 years 3 months ago
A Case for Compressing Traces with BDDs
Instruction-level traces are widely used for program and hardware analysis. However, program traces for just a few seconds of execution are enormous, up to several terabytes in siz...
Graham D. Price, Manish Vachharajani