335 search results - page 49 / 67 » Arguing safety with Problem Oriented Software Engineering |
CODES
2008
IEEE
14 years 11 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
101
click to vote
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
EUROMICRO
2000
IEEE
15 years 1 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
APCCM
2009
14 years 10 months ago
2009
Application domain description precedes requirements engineering, and is the basis for the development of a software or information system that satisfies all expectations of its u...
CACM
2011
14 years 1 months ago
2011
Disk-oriented approaches to online storage are becoming increasingly problematic: they do not scale gracefully to meet the needs of large-scale Web applications, and improvements ...