2171 search results - page 320 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
168
click to vote
FMSD
2006
15 years 6 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
167
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
We present a novel technique that automatically alerts authors of requirements to the presence of potentially dangerous ambiguities. We first establish the notion of nocuous ambig...
142
click to vote
TSE
2008
15 years 6 months ago
2008
Buggy software is a reality and automated techniques for discovering bugs are highly desirable. A specification describes the correct behavior of a program. For example, a file mus...
164
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from spee...
142
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...