5407 search results - page 118 / 1082 » The Software Engineering Global Model |
ASWEC
2010
IEEE
14 years 10 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
This paper reports the results of exploratory research to develop a pilot pattern language for systems engineers at BAE SYSTEMS. The pattern language was designed to encapsulate k...
GI
2005
Springer
15 years 3 months ago
2005
Springer
: While software design is increasingly based on models, requirements engineering is generally performed using structured text; as a consequence, only a weakly structured connectio...
CSMR
2010
IEEE
14 years 4 months ago
2010
IEEE
Legacy applications are still widely spread. If a need to change deployment or update its functionality arises, it becomes difficult to estimate the performance impact of such modi...
KBSE
2000
IEEE
15 years 2 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...