3765 search results - page 304 / 753 » Formal Methods for Systems Engineering Behavior Models |
168
click to vote
JSS
2002
15 years 6 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
185
click to vote
IJCAI
1989
15 years 7 months ago
1989
Over the last few years, object-oriented techniques have gained an increasing recognition both in software engineering and in AI. Object-oriented systems present undisputable adva...
168
Voted
ISTA
2004
15 years 8 months ago
2004
: The employment of a patchwork of nonintegrated security products can only provide incomplete coverage, which cannot give the total panorama of the network misuse behavior. Networ...
225
click to vote
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
196
click to vote
UML
1998
Springer
15 years 11 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...