4919 search results - page 403 / 984 » A Process-Ontological Model for Software Engineering |
165
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
193
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
Architectural patterns are a key point in architectural documentation. Regrettably, there is poor support for modeling architectural patterns, because the pattern elements are not...
192
click to vote
ASWEC
2010
IEEE
15 years 7 months ago
2010
IEEE
—Architectural Design Decisions (ADD) form a key element of Architectural Knowledge (AK), which plays a vital role in the software architecture process. To help manage ADDs, seve...
174
click to vote
MODELS
2007
Springer
16 years 28 days ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
189
click to vote
SIGSOFT
2003
ACM
16 years 1 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...