2153 search results - page 134 / 431 » From Requirements Models to Formal Specifications in B |
131
click to vote
Book
"This book is intended for human factors engineers requiring current knowledge of how a computer graphics surrogate human can augment their analyses of designed environments. ...
CBSE
2004
Springer
15 years 1 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...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
ENVSOFT
2008
14 years 10 months ago
2008
Many impact studies require climate change information at a finer resolution than that provided by Global Climate Models (GCMs). In the last 10 years, downscaling techniques, both...
JCD
2000
14 years 9 months ago
2000
Asynchronous, text-based communication is different from most other forms of interchange in important ways. It lacks the full spectrum of visual and audible information that peopl...