7202 search results - page 1062 / 1441 » Software System Engineering: A Tutorial |
159
click to vote
VAMOS
2007
Springer
16 years 26 days ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
183
click to vote
CODES
2003
IEEE
16 years 2 days ago
2003
IEEE
Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time acc...
208
click to vote
ACMIDC
2010
15 years 8 months ago
2010
We have developed an educational software tool (Aprendiendo) to reinforce the learning process of children with special educational needs. This tool makes use of a variety of inte...
174
click to vote
MKWI
2008
15 years 8 months ago
2008
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
199
click to vote
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...