2637 search results - page 91 / 528 » Tool Supported Specification and Simulation of Distributed S... |
125
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
120
click to vote
EUROMICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
113
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...
135
click to vote
ISTA
2007
15 years 5 months ago
2007
: Quality requirements elicitation for new computer applications rests traditionally on interviewing stakeholders. That makes getting these requirements right more complicated than...
162
click to vote
SIGSOFT
2001
ACM
16 years 4 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...