650 search results - page 75 / 130 » Modeling SPARK systems with UML |
CAISE
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
WCRE
2002
IEEE
15 years 4 months ago
2002
IEEE
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
The U.S. Capitol Police (USCP) are responsible for protecting the Capitol Hill complex encompassing the Senate and House office buildings and the Capitol building. Currently, the ...
105
click to vote
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
139
click to vote
FROCOS
2011
Springer
13 years 11 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...