Sciweavers

3024 search results - page 47 / 605
» Requirement Engineering in Service-Oriented System Engineeri...
Sort
View
OOPSLA
2007
Springer
15 years 10 months ago
Synthesizing reactive systems from LSC requirements using the play-engine
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
Hillel Kugler, Cory Plock, Amir Pnueli
ICSM
2008
IEEE
15 years 10 months ago
Supporting requirements reuse in multi-agent system product line design and evolution
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
Josh Dehlinger, Robyn R. Lutz
114
Voted
DATE
2009
IEEE
129views Hardware» more  DATE 2009»
15 years 10 months ago
An automated flow for integrating hardware IP into the automotive systems engineering process
This contribution shows and discusses the requirements and constraints that an industrial engineering process defines for the integration of hardware IP into the system developmen...
Jan-Hendrik Oetjens, Ralph Görgen, Joachim Ge...
SOFSEM
2007
Springer
15 years 10 months ago
Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
Dietmar Schreiner, Karl M. Göschka
IM
1997
15 years 5 months ago
A Service Engineering Approach to Inter-Domain TMN System Development
The deployment of service management systems in a multi-service environment opens a whole area of issues. Requirements for openness and reusability can be satisfied by following a...
Thanassis Tiropanis, David Lewis, A. Richter, Rong...