650 search results - page 71 / 130 » Modeling SPARK systems with UML |
CEEMAS
2005
Springer
15 years 5 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
EDUTAINMENT
2007
Springer
15 years 6 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
METRICS
1999
IEEE
15 years 4 months ago
1999
IEEE
Function point analysis(FPA) was proposedto help measure the size of a computerizedbusiness information system. It is widely used in the actual software development. However, it h...
100
click to vote
JSA
2007
14 years 11 months ago
2007
Traditional design techniques for embedded systems apply transformations on the source code to optimize hardwarerelated cost factors. Unfortunately, such transformations cannot ad...
100
click to vote
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...