Sciweavers

2102 search results - page 191 / 421
» A Relational Model for Object-Oriented Designs
Sort
View
156
Voted
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
15 years 11 months ago
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli
147
Voted
ESA
2007
Springer
92views Algorithms» more  ESA 2007»
15 years 10 months ago
Small Worlds as Navigable Augmented Networks: Model, Analysis, and Validation
Abstract. The small world phenomenon, a.k.a. the six degree of separation between individuals, was identified by Stanley Milgram at the end of the 60s. Milgram experiment demonstr...
Pierre Fraigniaud
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 10 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
GI
2005
Springer
15 years 10 months ago
Programming in the Large based on the Business Process Modelling Notation
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...
Christian Emig, Christof Momm, Jochen Weisser, Seb...
EKAW
1999
Springer
15 years 9 months ago
Modeling Information Sources for Information Integration
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...
François Goasdoué, Chantal Reynaud