3828 search results - page 377 / 766 » Proof-Based System Engineering Using a Virtual System Model |
203
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
163
click to vote
AOSD
2006
ACM
16 years 21 days ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
152
click to vote
LCTRTS
2004
Springer
16 years 2 days ago
2004
Springer
— This paper describes our experiences with a simulation environment for electronic textiles. This simulation environment, based upon Ptolemy, enables us to model a diverse range...
166
click to vote
FORTE
1996
15 years 8 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
175
click to vote
ACSC
2010
IEEE
15 years 1 months ago
2010
IEEE
The importance of networks of coupled oscillators is widely recognized. Such networks occur in biological systems like the heart, in chemical systems, in computational problems, a...