4476 search results - page 334 / 896 » Modeling software architectures in the Unified Modeling Lang... |
194
click to vote
IEEEICCI
2006
IEEE
16 years 25 days ago
2006
IEEE
Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process. To fulï...
179
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
204
click to vote
CISSE
2007
Springer
15 years 10 months ago
2007
Springer
- With a trend toward becoming more and more information based, enterprises constantly attempt to surpass the accomplishments of each other by improving their information activitie...
192
click to vote
ICESS
2005
Springer
16 years 9 days 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...
183
click to vote
ADAEUROPE
2007
Springer
15 years 8 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...