Sciweavers

2949 search results - page 393 / 590
» Transformations in Information Supply
Sort
View
QOSA
2009
Springer
15 years 11 months ago
Automated Architecture Consistency Checking for Model Driven Software Development
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
Matthias Biehl, Welf Löwe
CC
2001
Springer
176views System Software» more  CC 2001»
15 years 11 months ago
A Framework for Optimizing Java Using Attributes
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...
Patrice Pominville, Feng Qian, Raja Vallée-...
ICRA
2000
IEEE
106views Robotics» more  ICRA 2000»
15 years 11 months ago
Planning of Joint Trajectories for Humanoid Robots Using B-Spline Wavelets
The formulation and optimization of joint trajectories for humanoid robots is quite different from this same task for standard robots because of the complexity of the humanoid rob...
Ales Ude, Christopher G. Atkeson, Marcia Riley
APN
2000
Springer
15 years 10 months ago
User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
Mohammed Elkoutbi, Rudolf K. Keller
ECOOP
2000
Springer
15 years 10 months ago
Automated Test Case Generation from Dynamic Models
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
Peter Fröhlich, Johannes Link