1304 search results - page 95 / 261 » Model-Driven Engineering for Requirements Analysis |
101
click to vote
TC
2010
14 years 8 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
WCRE
2009
IEEE
15 years 4 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Interactive program analysis tools are often tailored to one particular representation of programs, making adaptation to a new language costly. One way to ease adaptability is to ...
ISSTA
2010
ACM
15 years 6 hour ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
123
click to vote
AOSE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...