746 search results - page 87 / 150 » Formal Analysis of UML-Based Designs |
115
click to vote
ICECCS
2005
IEEE
15 years 7 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
IFIP
2005
Springer
15 years 7 months ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
143
click to vote
AOSE
2000
Springer
15 years 6 months ago
2000
Springer
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
142
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
VLSID
2010
IEEE
15 years 5 months ago
2010
IEEE
—We propose a compact model for small signal non quasi static analysis of long channel symmetric double gate MOSFET. The model is based on the EKV formalism and is valid in all r...