1326 search results - page 59 / 266 » Semantic Coherence in Software Engineering |
APSEC
2003
IEEE
13 years 11 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
AVI
2006
13 years 9 months ago
2006
Access to real environments is often conditioned by a number of issues, including the skills of the user (i.e. affected by aging, physical and psychological deficiencies, etc.) an...
AVI
2000
13 years 9 months ago
2000
The identification and analysis of an enterprise's knowledge available in a documented form is a key element of knowledge management. Visual methods which allow easy access t...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
PEPM
2007
ACM
14 years 1 months ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...