3819 search results - page 311 / 764 » An Outsourcing Model of Software Development |
165
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
166
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...
155
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
182
click to vote
CONTEXT
2007
Springer
16 years 25 days ago
2007
Springer
Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to dev...
141
click to vote
EEE
2005
IEEE
16 years 8 days ago
2005
IEEE
The development and wider use of wireless networks and mobile devices has led to novel pervasive computing environments which pose new problems for software rights management and ...