2878 search results - page 136 / 576 » Analyzing the Uses of a Software Modeling Tool |
REFSQ
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. [Context and motivation] Natural language is the main representation means of industrial requirements documents, which implies that requirements documents are inherently ...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Each day, a software developer needs to answer a variety of questions that require the integration of different kinds of project information. Currently, answering these questions...
ESEM
2009
ACM
14 years 2 months ago
2009
ACM
The following study investigated cognitive factors involved in applying the Perspective-Based Reading (PBR) technique for defect detection in software inspections. Using the proto...
ICWE
2009
Springer
14 years 26 days ago
2009
Springer
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...
FMCAD
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...