13137 search results - page 100 / 2628 » A Science of Software Design |
Book
"Java Gently teaches the reader how to program and how to do it in the best possible style in Java. In the process, it details the fundamental structures of the Java 2 languag...
ICFP
2010
ACM
14 years 8 days ago
2010
ACM
A student learning how to program learns best when the programming language and programming environment cater to her specific needs. These needs are different from the requirement...
SOFTWARE
2002
13 years 10 months ago
2002
SPIN
2005
Springer
14 years 4 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
ACSC
2001
IEEE
14 years 2 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...