561 search results - page 11 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
174
Voted
AMAI
2011
Springer
13 years 11 months ago
2011
Springer
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
100
Voted
ICESS
2005
Springer
15 years 5 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
SIGSOFT
2001
ACM
16 years 12 days ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
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...
77
Voted
PDP
2007
IEEE
15 years 6 months ago
2007
IEEE
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...