Sciweavers

3021 search results - page 30 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
TASE
2008
IEEE
14 years 11 months ago
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
Arnaud Lanoix
DEXAW
2003
IEEE
93views Database» more  DEXAW 2003»
15 years 5 months ago
A business process-driven approach to security engineering
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
Antonio Mana, José A. Montenegro, Carsten R...
WSCG
2003
140views more  WSCG 2003»
15 years 1 months ago
Multifaceted Interaction with a Virtual Engineering Environment using a Scenegraph-oriented Approach
To provide an adequate user interface to the large amount of geometrical and alphanumerical date coupled to the geometries, the 3D interaction in the virtual environment is combin...
Arnold Müller, Stefan Conrad 0003, Ernst Krui...
IUI
2000
ACM
15 years 4 months ago
Creating an empirical basis for adaptation decisions
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
Anthony Jameson, Barbara Großmann-Hutter, Le...
TCS
2002
14 years 11 months ago
A formal approach to object-oriented software engineering
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
Martin Wirsing, Alexander Knapp