Sciweavers

1033 search results - page 108 / 207
» Software Quality in the Objectory Process
Sort
View
UML
2000
Springer
15 years 7 months ago
From Use Cases to System Operation Specifications
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
Shane Sendall, Alfred Strohmeier
MSV
2004
15 years 5 months ago
Design and Implementation of a Workflow Rendering Engine
Business visualization is an effective tool for business decision making and problem solving. Despite its obvious benefits, 3D visualization is far less common in practice than it...
Jason A. Pamplin, Ying Zhu
PTS
1998
81views Hardware» more  PTS 1998»
15 years 5 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
132
Voted
IJEIS
2010
113views more  IJEIS 2010»
15 years 1 months ago
A Good Role Model for Ontologies: Collaborations
Abstract. Ontologies are today used to annotate web data with machine processable semantics and for domain modeling. As the use of ontologies increases and the ontologies themselve...
Michael Pradel, Jakob Henriksson, Uwe Aßmann
ECOOP
1999
Springer
15 years 8 months ago
Towards Automatic Specialization of Java Programs
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...
Ulrik Pagh Schultz, Julia L. Lawall, Charles Conse...