Sciweavers

987 search results - page 43 / 198
» Extending FeatuRSEB with Concepts from Systems Engineering
Sort
View
ASWEC
2007
IEEE
14 years 3 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
WWW
2005
ACM
14 years 9 months ago
The infocious web search engine: improving web searching through linguistic analysis
In this paper we present the Infocious Web search engine [23]. Our goal in creating Infocious is to improve the way people find information on the Web by resolving ambiguities pre...
Alexandros Ntoulas, Gerald Chao, Junghoo Cho
RE
2001
Springer
14 years 1 months ago
XML-Based Method and Tool for Handling Variant Requirements in Domain Models
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
Stan Jarzabek, Hongyu Zhang
SERP
2003
13 years 10 months ago
3CoFramework: A Component-Based Framework for Distributed Applications
The software engineering community has introduced component and connector concepts to support architecture-based software descriptions. However, there still exists a gap in transi...
Shifeng Zhang, Steve Goddard
CDC
2008
IEEE
13 years 10 months ago
A general symmetry-preserving observer for aided attitude heading reference systems
We generalize several recent works on nonlinear observers for aided attitude heading reference systems: we propose a symmetry-preserving nonlinear observer which merges the most co...
Philippe Martin, Erwan Salaün