19587 search results - page 413 / 3918 » Systems Engineering for software Engineers |
187
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
173
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
This paper presents a systematic method for simultaneously defining a software architecture and selecting off-the-shelf components for reuse. The method builds upon existing tec...