22698 search results - page 200 / 4540 » Modeling in Software Engineering |
133
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
In order to retrieve, select and apply design patterns in a tool-supported way, we suggest to construct and document a problemcontext pattern that reflects the essence of the prob...
131
click to vote
CSMR
2002
IEEE
15 years 8 months ago
2002
IEEE
Design patterns have been widely adopted and well investigated by the software engineering community over the past decade. However, their primary use is still associated with forw...
186
click to vote
APAL
2011
14 years 10 months ago
2011
We describe strongly minimal theories Tn with finite languages such that in the chain of countable models of Tn, only the first n models have recursive presentations. Also, we d...
161
click to vote
COMPSAC
2010
IEEE
15 years 13 days ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
139
click to vote
ASWEC
2008
IEEE
15 years 10 months ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...