1164 search results - page 113 / 233 » Using CBR for Semantic Analysis of Software Specifications |
105
click to vote
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
An approach to recommend a ranked list of developers to assist in performing software changes to a particular file is presented. The ranking is based on change expertise, experien...
136
click to vote
ICIAR
2004
Springer
15 years 9 months ago
2004
Springer
It is well known that the text that appears in a video scene or is graphically added to it is an important source of semantic information for indexing and retrieval, notably in the...
130
Voted
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
124
Voted
WSC
2008
15 years 6 months ago
2008
In this paper we lay the foundations for studying decisionmaking in complex dynamic construction management scenarios using situational simulations as experimental testbeds. We dr...
113
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...