3837 search results - page 565 / 768 » Concurrent Engineering support in Software Engineering |
145
Voted
COMPSAC
2009
IEEE
15 years 3 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
124
Voted
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
135
Voted
AVI
2010
15 years 2 months ago
2010
This paper presents a research project on the design of a cross-channel information management tool for knowledge workers: we focus on IT services professionals in a large enterpr...
117
click to vote
RE
2006
Springer
15 years 2 months ago
2006
Springer
Scenarios and goals are effective techniques for requirements definition. Goals are objectives that a system has to meet. They are elaborated into a structure that decomposes decla...
126
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
We believe that design patterns can be an effective means of consolidating and communicating program construction expertise for functional programming, just as they have proven to...