1031 search results - page 96 / 207 » On the Formal Development of Safety-Critical Software |
124
Voted
CORR
2006
Springer
15 years 26 days ago
2006
Springer
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...
119
click to vote
KCAP
2005
ACM
15 years 6 months ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
142
click to vote
APSCC
2008
IEEE
15 years 2 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
87
Voted
GIL
2009
14 years 10 months ago
2009
Abstract: We have surveyed three molecular biology labs in Germany and Vietnam to evaluate practical problems in the management of molecular genetics data. These labs are generatin...