Sciweavers

2969 search results - page 298 / 594
» The Case for User-Centered CASE Tools
Sort
View
ICSM
2007
IEEE
16 years 1 months ago
How Programmers Can Turn Comments into Waypoints for Code Navigation
We have developed a new approach for software navigation called TagSEA (Tagging of Software Engineering Activities). TagSEA combines the notion of “waypointing” with “social...
Margaret-Anne D. Storey, Li-Te Cheng, Janice Singe...
QSIC
2007
IEEE
16 years 1 months ago
On the Collaborative Development of Para-Consistent Conceptual Models
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. Each of these approaches have been devised with a specific motive and to addres...
Ebrahim Bagheri, Ali A. Ghorbani
SEFM
2007
IEEE
16 years 1 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
SEMCO
2007
IEEE
16 years 1 months ago
Nested Named Entity Recognition in Historical Archive Text
This paper describes work on Named Entity Recognition (NER), in preparation for Relation Extraction (RE), on data from a historical archive organisation. As is often the case in t...
Kate Byrne
ISCAS
2007
IEEE
129views Hardware» more  ISCAS 2007»
16 years 28 days ago
Modeling of self-adaptive systems with SCADE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
Matthias Güdemann, Andreas Angerer, Frank Ort...