9018 search results - page 7 / 1804 » 3D-Brain Model Software |
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
CLEIEJ
2010
13 years 7 months ago
2010
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...
ICCSA
2010
Springer
13 years 7 months ago
2010
Springer
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
AISS
2010
13 years 7 months ago
2010
Service orientation is one of the solutions for achieving agile enterprises, that helps make an alignment between business and information technology. By the influx of service ori...