259 search results - page 14 / 52 » Requirements Specification as Executable Software Design - A... |
114
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
109
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
117
Voted
IWSSD
1993
IEEE
15 years 6 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
132
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Future applications of unmanned aerial vehicles (UAVs) especially in military missions require the operation of UAVs with a high level of autonomy. Autonomous UAVs could be develo...
124
Voted
WICSA
2004
15 years 4 months ago
2004
Software architecture descriptions can play a wide variety of roles in the software lifecycle, from requirements specification, to logical design, to implementation architectures....