4418 search results - page 262 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
193
click to vote
PPDP
2007
Springer
16 years 22 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
159
click to vote
COMCOM
2000
15 years 6 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
188
click to vote
EDOC
2003
IEEE
15 years 12 months ago
2003
IEEE
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
157
click to vote
COMGEO
2010
ACM
15 years 11 months ago
2010
ACM
This paper describes an approximation based on geographic information retrieval with the purpose to give some solutions to the problem of searching pharmacies on duty in the Spani...
136
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Embedded system secondary storage size is often constrained, yet storage demands are growing as a result of increasing application complexity and storage of personal dat...