2878 search results - page 366 / 576 » Analyzing the Uses of a Software Modeling Tool |
162
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engi...
222
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
202
Voted
DAC
2007
ACM
16 years 7 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
186
click to vote
IWSSD
1993
IEEE
15 years 10 months ago
1993
IEEE
We are developing tools to support a conversational metaphor for requirements definition and analysis. Our conversational model consists of three components: (1) a hypertextual re...
150
click to vote
SPIN
2007
Springer
16 years 21 days ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...