2935 search results - page 413 / 587 » An Integrated Approach to High Integrity Software Verificati... |
171
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
Reconfigurable Computers based on a combination of conventional microprocessors and Field Programmable Gate Arrays (FPGAs) presents new challenges to designers. Debugging on such ...
146
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Providing technology support for older people offers distinct challenges for social and IT systems delivery. The definition and integration of services, the diversity of supply, va...
148
click to vote
ICCBSS
2003
Springer
15 years 11 months ago
2003
Springer
We have recently proposed a general approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour in systems employing an OTS (Off-The-Shelf) ite...
154
click to vote
INAP
2001
Springer
15 years 10 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
189
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...