3801 search results - page 272 / 761 » An Approach to Modeling Software Safety |
207
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
149
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Software engineers think about an existing software system in terms of high-level models. The high-level models are translated to source code and the concepts represented in these...
153
click to vote
ECBS
2010
IEEE
15 years 12 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
171
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
177
click to vote
CODES
2006
IEEE
16 years 20 days ago
2006
IEEE
Traditionally, instruction-set simulators (ISSās) are sequential programs running on individual processors. Besides the advances of simulation techniques, ISSās have been main...