11973 search results - page 108 / 2395 » Methods for organizational development |
123
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
128
click to vote
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
Shape from texture has received much attention in the past few decades. We propose a computationally efficient method to extract the 3D shape of developable surfaces from the spect...
112
click to vote
ECIS
2004
15 years 5 months ago
2004
The authors present the Context Engineering (CE) approach to Information Systems Development (ISD) as a framework to organise ideas about previous development experience and to gu...
161
click to vote
IFM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
161
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...