3713 search results - page 553 / 743 » Constructing a Calculus of Programs |
121
click to vote
ERSHOV
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
118
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
127
Voted
SOCO
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
114
click to vote
CIBSE
2009
ACM
15 years 9 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
116
click to vote
ESEM
2009
ACM
15 years 9 months ago
2009
ACM
This article describes a survey which aims to identify the relative importance of a set of factors that affect the motivation of software engineers at work. The conceptual underpi...