2935 search results - page 160 / 587 » An Integrated Approach to High Integrity Software Verificati... |
138
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has ...
186
click to vote
AGILEDC
2007
IEEE
16 years 26 days ago
2007
IEEE
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...
161
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
176
click to vote
ACHI
2009
IEEE
16 years 1 months ago
2009
IEEE
Human interaction like entering some data, making decisions etc. has to be dealt with as an integral part of today’s business processes and the supporting IT likewise. Hence, hu...
149
click to vote
VAMOS
2007
Springer
16 years 19 days ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...