1326 search results - page 15 / 266 » Semantic Coherence in Software Engineering |
IJSEKE
2011
12 years 11 months ago
2011
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
SEKE
1995
Springer
13 years 11 months ago
1995
Springer
This paper argues for new computational mechanisms to aid specification of requirements for composite systems. It presents mechanisms for storing specification fragments, or viewp...
HICSS
2000
IEEE
14 years 1 days ago
2000
IEEE
This paper presents work conducted towards the development of an effective software engineering-based methodology for integrity control in the process of spreadsheet development. ...
FSTTCS
2006
Springer
13 years 11 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and
AC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception