13137 search results - page 308 / 2628 » A Science of Software Design |
155
click to vote
CBSE
2010
Springer
15 years 9 months ago
2010
Springer
Design patterns are typically defined informally, albeit in a standard format, and have to be programmed by the software designer into each new application. Thus although patterns ...
162
click to vote
IEEESCC
2009
IEEE
16 years 25 days ago
2009
IEEE
Up to now, developing software for the Semantic Web is much more complex than developing software for other data representation paradigms, such as relational databases. Softwa...
193
click to vote
TASE
2007
IEEE
16 years 13 days ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
173
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...