Sciweavers

3128 search results - page 333 / 626
» Finite element method
Sort
View
ECBS
2007
IEEE
135views Hardware» more  ECBS 2007»
15 years 11 months ago
Introducing Impact Analysis for Architectural Decisions
Architectural quality constitutes a critical factor for contemporary software systems, especially because of their size and the needs for frequent, quick changes. For success-crit...
Matthias Riebisch, Sven Wohlfarth
112
Voted
IROS
2007
IEEE
138views Robotics» more  IROS 2007»
15 years 11 months ago
Obstacle detection from IPM and super-homography
— We present in this article a simple method to estimate an IPM view from an embedded camera. The method is based on the tracking of the road markers assuming that the road is lo...
Nicolas Simond, Michel Parent
ZUM
2005
Springer
142views Formal Methods» more  ZUM 2005»
15 years 10 months ago
Formal Program Development with Approximations
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
Eerke A. Boiten, John Derrick
XPU
2004
Springer
15 years 10 months ago
Roles in Agile Software Development Teams
One of the key elements in describing a software development method is the roles that are assigned to the members of the software team. This article describes our experience in ass...
Yael Dubinsky, Orit Hazzan
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 8 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer