6581 search results - page 256 / 1317 » Formalizing Design Patterns |
125
click to vote
ECSA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...
123
click to vote
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
150
Voted
TDSC
2008
15 years 3 months ago
2008
The importance of software security has been profound, since most attacks to software systems are based on vulnerabilities caused by poorly designed and developed software. Further...
112
click to vote
JBCS
2002
15 years 3 months ago
2002
Ontologies are becoming an important mechanism to build information systems. Nevertheless, there is still no systematic approach to support the design of such systems using tools ...
171
click to vote
MEMOCODE
2008
IEEE
15 years 10 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...