Sciweavers

11462 search results - page 5 / 2293
» Developing Application-Centric Methods
Sort
View
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
13 years 5 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
ISSE
2010
13 years 5 months ago
An approach to applying SOFL for agile process and its application in developing a test support tool
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
Shaoying Liu
HCI
2009
13 years 5 months ago
Heuristic Evaluations of Bioinformatics Tools: A Development Case
Heuristic evaluations are an efficient low cost method for identifying usability problems in a biomedical research tool. Combining the results of these evaluations with findings fr...
Barbara Mirel, Zach Wright
INLG
2010
Springer
13 years 5 months ago
UDel: Refining a Method of Named Entity Generation
This report describes the methods and results of a system developed for the GREC Named Entity Challenge 2010. We detail the refinements made to our 2009 submission and present the...
Charles F. Greenbacker, Nicole L. Sparks, Kathleen...
MVA
2002
13 years 7 months ago
Development of an Immersive Teleoperating System for Unmanned Helicopter
To collect the information on devastated districts, it is effective to use helicopters. However, the operation using manned helicopters costs a lot. It is expected that the use of...
Masanao Koeda, Yoshio Matsumoto, Tsukasa Ogasawara