4917 search results - page 488 / 984 » Software Engineering is Not Computer Science |
123
Voted
COBUILD
1999
Springer
15 years 9 months ago
1999
Springer
The Passage mechanism introduced in this paper provides an easy and intuitive way to transport various types of digital objects by using also normal physical objects without any sp...
137
click to vote
WCRE
1999
IEEE
15 years 9 months ago
1999
IEEE
Atomic components are sets of related variables, types, rograms, e.g., abstract data types and objects. Many techniques exist to detect them automatically. However, as an evaluati...
131
click to vote
CODES
1998
IEEE
15 years 9 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
144
click to vote
COMPSAC
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
133
click to vote
EUROMICRO
1998
IEEE
15 years 9 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...