2118 search results - page 162 / 424 » Execution of A Requirement Model in Software Development |
185
Voted
ISSS
1996
IEEE
15 years 9 months ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
130
click to vote
APSEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
156
Voted
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
In service-based systems, services from various providers can be integrated following specific workflows to achieve users’ goals. These workflows are often executed and coordina...
175
click to vote
PLDI
2009
ACM
15 years 12 months ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...
175
click to vote
MODELLIERUNG
2001
15 years 6 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...