Sciweavers

9974 search results - page 355 / 1995
» Software Interconnection Models
Sort
View
BC
2010
63views more  BC 2010»
15 years 4 months ago
A competitive integration model of exogenous and endogenous eye movements
Martijn Meeter, Stefan Van der Stigchel, Jan Theeu...
SFM
2004
Springer
16 years 1 days ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
183
Voted
KBSE
2002
IEEE
15 years 11 months ago
Model-Based Tests of Truisms
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...
Tim Menzies, David Raffo, Siri-on Setamanit, Ying ...
UML
2000
Springer
15 years 10 months ago
Reconciling the Needs of Architectural Description with Object-Modeling Notations
Complex software systems require expressive notations for representing their software architectures. Two competing paths have emerged. One is to use a specialized notation for arc...
David Garlan, Andrew Kompanek