1527 search results - page 175 / 306 » From Requirements to Design: Formalizing the Key Steps |
183
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
150
click to vote
MSR
2009
ACM
16 years 1 months ago
2009
ACM
Research in the fields of software quality, maintainability and evolution requires the analysis of large quantities of data, which often originate from open source software proje...
164
click to vote
ICOST
2007
Springer
16 years 19 days ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
179
click to vote
SACMAT
2006
ACM
16 years 13 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
137
click to vote
VLBV
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we propose a very simple FIR pre-filter based method for near optimal least-squares linear approximation of discrete time signals. A digital pre-processing filter,...