Sciweavers

7206 search results - page 392 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
COMPSAC
2005
IEEE
16 years 11 days ago
Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...
Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Sud...
WACV
2008
IEEE
16 years 1 months ago
Location-based Services using Image Search
Recent developments in image search has made them sufficiently efficient to be used in real-time applications. GPS has become a popular navigation tool. While GPS information pr...
Pieter-Paulus Vertongen, Dan Witzner Hansen
PROFES
2004
Springer
16 years 3 days ago
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
Sergiy A. Vilkomir, Aditya K. Ghose
ICSE
2004
IEEE-ACM
16 years 6 months ago
Using Web Service Technologies to Create an Information Broker: An Experience Report
This paper reports on our experiences with using the emerging web service technologies and tools to create a demonstration information broker system as part of our research into i...
Mark Turner, Fujun Zhu, Ioannis A. Kotsiopoulos, M...
ICFEM
1998
Springer
15 years 10 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz