4418 search results - page 51 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
103
Voted
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
122
Voted
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper will present an approach that fosters a seamless integration of documents with corporate information systems. It is based on a conceptually enhanced notion of documents...
112
Voted
SAFECOMP
2004
Springer
15 years 9 months ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
125
Voted
ECIR
2007
Springer
15 years 5 months ago
2007
Springer
This paper extends previous work on document retrieval and document type classification, addressing the problem of ‘typed search’. Specifically, given a query and a designated ...
133
click to vote
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...