2878 search results - page 137 / 576 » Analyzing the Uses of a Software Modeling Tool |
UML
2005
Springer
14 years 1 months ago
2005
Springer
Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...
ICFEM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
BMCBI
2006
13 years 8 months ago
2006
Background: Direct synthesis of genes is rapidly becoming the most efficient way to make functional genetic constructs and enables applications such as codon optimization, RNAi re...
ICSE
1995
IEEE-ACM
13 years 12 months ago
1995
IEEE-ACM
One important component of a software process is the organizational context in which the process is enacted. This component is often missing or incomplete in current process model...
CISSE
2008
Springer
13 years 10 months ago
2008
Springer
We live in the information age, where the amount of data readily available already overwhelms our capacity to analyze and absorb it without help from our machines. In particular, ...