Specification and Development of Interactive Systems

By Manfred Broy, K. Stølen. Monographs in Computer Science, 2001

525 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Industrial and Manufacturing Engineering, Management Information Systems

View Paper: https://www.semanticscholar.org/paper/0deecf8defb43809010014cc4690f6987615a575

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

1. Zhiming Liu
2. Jifeng He
3. Xiaoshan Li
4. Barbara Messing
5. Manfred Broy

In Industrial and Manufacturing Engineering

1. Zhiming Liu
2. Jifeng He
3. Xiaoshan Li
4. Barbara Messing
5. Manfred Broy

In Management Information Systems

1. Zhiming Liu
2. Jifeng He
3. Xiaoshan Li
4. Barbara Messing
5. Manfred Broy

Citations in the corpus

• On Architecture Specification (2018, methodology): “This theoretical framework is in line with [1] called the FOCUS approach.”
• On agent-based software engineering (2000, unknown): “, issues of performance engineering and security), nor with those problems that are caused by the fact that agentbased systems are both distributed and concurrent, nor with the issues that arise as a result of software having to maintain an ongoing interaction with a dynamic and unpredictable enviro”
• Component-Based Software Engineering (2005, methodology): “The Stream Calculus [6, 7, 41] is a denotational framework, but otherwise similar to those of [3, 13] for being a channel-based model.”
• Agent-Oriented Software Engineering: The State of the Art (2009, unknown): “ties are divided into two types: liveness properties andsafety properties[57].”
• An Introduction to MultiAgent Systems (2002, background): “Responsibilities are divided into two types: liveness properties and safety properties (Pnueli, 1986).”