3799 search results - page 87 / 760 » An Engineering Approach to Formal Methods |
JOT
2008
13 years 9 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
ASWEC
2005
IEEE
14 years 2 months ago
2005
IEEE
The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. Whil...
FOIS
2006
13 years 10 months ago
2006
The term `behavior' is used ubiquitously in engineering. It refers roughly to the way technical artifacts `behave' in a given or hypothetical situation, and plays a pivot...
FM
1991
Springer
14 years 18 days ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
KBSE
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...