11462 search results - page 299 / 2293 » Developing Application-Centric Methods |
129
click to vote
DPPI
2003
ACM
15 years 9 months ago
2003
ACM
It’s been noticed that recognizing the end user’s needs and expectations are increasingly important factors for creating successful products. In the Mode-project we are studyi...
173
click to vote
NFM
2011
14 years 11 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
206
click to vote
ICSR
2011
Springer
14 years 8 months ago
2011
Springer
Product Line Architecture (PLA) plays a central role in software product line development. In order to support architecture-level variability modeling, most architecture descriptio...
134
click to vote
JIFS
2007
15 years 4 months ago
2007
An increase in hazardous materials transportation in Iran along with the industrial development and increase of resulted deadly accidents necessitate the development and implementa...
160
click to vote
COLING
2002
15 years 4 months ago
2002
tion. Our method was developed through the study of a corpus of abstracts written ssional abstractors. Relying on human judgment, we have evaluated indicativeness, informativeness,...