2878 search results - page 43 / 576 » Analyzing the Uses of a Software Modeling Tool |
TOOLS
2000
IEEE
14 years 12 days ago
2000
IEEE
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...
OOPSLA
2009
Springer
14 years 17 days ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
SEKE
2001
Springer
14 years 13 days ago
2001
Springer
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...
BMCBI
2010
13 years 8 months ago
2010
Background: Mass spectrometry (MS) coupled with online separation methods is commonly applied for differential and quantitative profiling of biological samples in metabolomic as w...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...