3514 search results - page 208 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
151
Voted
AGI
2011
14 years 6 months ago
2011
This paper presents an integrated modeling framework where the learning and knowledge retrieval mechanisms of the ACT-R cognitive architecture are combined with a semantic resource...
129
Voted
WOSP
2004
ACM
15 years 8 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
120
Voted
UML
1999
Springer
15 years 6 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
168
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
126
Voted
TACAS
2001
Springer
15 years 7 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...