3555 search results - page 638 / 711 » Security-Critical System Development with Extended Use Cases |
JUCS
2006
15 years 1 months ago
2006
: Design patterns have been developed to cope with the vast space of possible different designs within object-oriented systems. One of those classic patterns is the Visitor Pattern...
100
click to vote
ISORC
2009
IEEE
15 years 8 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
120
click to vote
MKM
2009
Springer
15 years 8 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
106
click to vote
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
The organizing pattern of interaction moves from less to more understanding about the relationships that exist between concepts. The current view of organizing activities is prima...
125
click to vote
SEMCO
2008
IEEE
15 years 7 months ago
2008
IEEE
We developed a novel analytical environment to aid in the examination of the extensive amount of interconnected data available for genome projects. Our focus is to enable ity and ...