977 search results - page 18 / 196 » Formal methods integration in software engineering |
104
click to vote
EDOC
2003
IEEE
15 years 5 months ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
HCI
2007
15 years 1 months ago
2007
Software Engineering (SE) and Usability Engineering (UE) both provide a wide range of elaborated process models to create software solutions. Today, many companies have realized th...
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
102
click to vote
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
WCRE
1999
IEEE
15 years 4 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...