335 search results - page 26 / 67 » Arguing safety with Problem Oriented Software Engineering |
60
Voted
ICSEA
2006
IEEE
15 years 3 months ago
2006
IEEE
ey operate with computer abstractions not with AD ions they cannot fully bridge the semantic gap between IT and AD. Therefore, we can safely conclude that the research on computer ...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
This paper summarizes the experience of teaching objectoriented modeling and UML for more than a decade to various audiences (academic or corporate, software developers or not). W...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
83
Voted
KBSE
2003
IEEE
15 years 2 months ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
66
Voted
ICSE
2007
IEEE-ACM
15 years 3 months ago
2007
IEEE-ACM
This tutorial addresses the problem of the migration of legacy assets to Service-Oriented Architecture (SOA) environments. It addresses how to develop a realistic strategy for per...