3801 search results - page 483 / 761 » An Approach to Modeling Software Safety |
214
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
A critical point for developing successful information systems for distributed organisations is the need for integrating heterogeneous technologies and tools. This paper reports a...
162
Voted
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...
149
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
This paper describes our experience in aggregating a number of historical datasets containing inspection defect data using different categorization schemes. Our goal was to make u...
229
click to vote
ICDT
2009
ACM
15 years 4 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
170
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...