11973 search results - page 430 / 2395 » Methods for organizational development |
143
Voted
SAS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
153
Voted
ICDAR
2003
IEEE
16 years 4 days ago
2003
IEEE
A new precision vectorization method has been developed for building centerlines of plain shapes. First a dense skeleton is computed. Centerlines are obtained as a subset of branc...
180
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...
167
click to vote
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
There is a conceptual gap between the way we currently articulate requirements and the reuse-driven paradigm embodied in component-based system development. The principal challenge...
195
Voted
CAISE
1995
Springer
15 years 10 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...