1481 search results - page 38 / 297 » Enriching the Software Development Process by Formal Methods |
104
click to vote
ASWEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Software developers’ work is much more interesting and multifarious in practice than formal definitions of software development processes imply. Rational models of work are ofte...
112
click to vote
KBSE
2005
IEEE
15 years 8 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...
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
If a business built a plant to produce products without first designing a process to manufacture them, the risk would be lack of capacity without significant plant redesign. Simil...
128
click to vote
IRMA
2000
15 years 4 months ago
2000
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...
111
click to vote
UML
2004
Springer
15 years 8 months ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...