803 search results - page 44 / 161 » Building Formal Models for Software Requirements |
ICFCA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Managing knowledge is a difficult and slippery enterprise. A wide variety of technologies have to be invoked in providing support for knowledge requirements, ranging fro...
102
click to vote
COMPSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
Many research approaches in software engineering propose models or extensions to existing models. This includes system models, such as UML models, and project management artifacts,...
139
click to vote
ADAEUROPE
2005
Springer
15 years 7 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
110
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
73
Voted
UM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...