Sciweavers

481 search results - page 1 / 97
» Scalable Matching of Industry Models - a Case Study
Sort
View
SEMWEB
2009
Springer
13 years 11 months ago
Scalable Matching of Industry Models - a Case Study
A recent approach to the problem of ontology matching has been to convert the problem of ontology matching to information retrieval. We explore the utility of this approach in matc...
Brian Byrne, Achille Fokoue, Aditya Kalyanpur, Kav...
TSE
2011
214views more  TSE 2011»
12 years 11 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
CSEE
2009
Springer
13 years 11 months ago
IT SPIRAL: A Case Study in Scalable Software Engineering Education
IT SPIRAL is a collaborative project by nine universities and four industries to develop a common curriculum for teaching software engineering. It combines existing foundation edu...
Michael Barker, Katsuro Inoue
CSMR
2006
IEEE
13 years 10 months ago
A Metric of Confidence in Requirements Gathered from Legacy Systems: Two Industrial Case Studies
It is known that well over 50% of replacement projects fail. Requirements gathering go someway to contributing to this statistic; if the requirements we gather for the new system ...
James Marchant, Christos Tjortjis, Michael Turega
FASE
2004
Springer
13 years 10 months ago
Checking Absence of Illicit Applet Interactions: A Case Study
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
Marieke Huisman, Dilian Gurov, Christoph Sprenger,...