1733 search results - page 113 / 347 » On the naturalness of software |
175
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
162
click to vote
CGI
1997
IEEE
15 years 10 months ago
1997
IEEE
The recent developments in image-based rendering have enabled a representation of virtual environments based on a simulation of panoramas, which we call virtual panoramas. Current...
177
click to vote
ESAW
2009
Springer
16 years 29 days ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
171
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
176
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...