Sciweavers

2797 search results - page 203 / 560
» Code query by example
Sort
View
155
Voted
SQJ
2008
94views more  SQJ 2008»
15 years 3 months ago
Simulation-based analysis of UML statechart diagrams: methods and case studies
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
Jiexin Lian, Zhaoxia Hu, Sol M. Shatz

Book
278views
16 years 11 months ago
Servlet Essentials
"This document explains the concepts of Java Servlets and provides a step-by-step tutorial for writing HTTP Servlets with complete source code for the example Servlets. The tu...
Stefan Zeiger
133
Voted
EUROMICRO
2003
IEEE
15 years 8 months ago
Object-Oriented Mutation to Asses the Quality of Tests
The quality of a test suite can be measured using mutation analysis. Groups of OO mutation operators are proposed for testing object-oriented features. The OO operators applied to...
Anna Derezinska
116
Voted
SPIRE
1999
Springer
15 years 7 months ago
Linear Time Sorting of Skewed Distributions
This work presents an e cient linear average time algorithm to sort lists of integers that follow skewed distributions. It also studies a particular case where the list follows th...
Edleno Silva de Moura, Gonzalo Navarro, Nivio Zivi...
136
Voted
B
1998
Springer
15 years 7 months ago
Graphical Design of Reactive Systems
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...
Emil Sekerinski