5984 search results - page 228 / 1197 » The Informal Nature of Systems Engineering |
163
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
178
click to vote
AIEDAM
2010
15 years 4 months ago
2010
The growing movement of biologically inspired design is driven in part by the need for sustainable development and in part by the recognition that nature could be a source of inno...
163
click to vote
MSR
2006
ACM
16 years 17 days ago
2006
ACM
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...
179
click to vote
UML
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
177
click to vote
TAL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We describe OpenMaTrEx, a free/open-source examplebased machine translation (EBMT) system based on the marker hypothesis, comprising a marker-driven chunker, a collection...