Add to ORKGThis paper introduces a formalism, called Viewcharts, for specification and composition of software behavioral views. The objective is software behavioral requirements specification independent of implementation. The paper claims that behavioral requirements of large-scale and complex systems can be described formally as compositions of simple behavioral views. The Viewcharts formalism is presented to demonstrate the behavioral views and support the claim
This paper overviews design of VCL, a new visual language for abstract specification of software sys...
Many approaches have been developed to partition a system's behavioral description before a structur...
Abstract. Message Sequence Charts (MSCs) are an appealing visual formalism that play a useful role i...
Abstract. In this paper, we present a method for describing the syntax and semantics of viewcharts. ...
This position paper provides a quick overview of the various behavioral specification techniques, fr...
The effectiveness of rigorous specification methods such as sequence-based specification is often li...
The Abstract Behavioral Specification (ABS) language is a formal, executable, object-oriented, concu...
It would be useful to write one description of software behavior to serve both requirements and desi...
A development scheme for complex reactive systems leads from a userfriendly requirements capture met...
Abstract. The Abstract Behavioral Specification (ABS) language is a formal, executable, object-orien...
AbstractWe present a broad extension of the conventional formalism of state machines and state diagr...
AbstractIn this paper we give a formal definition of the requirements translation language Behavior ...
Manually verifying the behavior of software systems with respect to a set of requirements is a time-...
Abstract The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity...
A technique for software system behavior specification appropriate for use in designing systems with...
This paper overviews design of VCL, a new visual language for abstract specification of software sys...
Many approaches have been developed to partition a system's behavioral description before a structur...
Abstract. Message Sequence Charts (MSCs) are an appealing visual formalism that play a useful role i...
Abstract. In this paper, we present a method for describing the syntax and semantics of viewcharts. ...
This position paper provides a quick overview of the various behavioral specification techniques, fr...
The effectiveness of rigorous specification methods such as sequence-based specification is often li...
The Abstract Behavioral Specification (ABS) language is a formal, executable, object-oriented, concu...
It would be useful to write one description of software behavior to serve both requirements and desi...
A development scheme for complex reactive systems leads from a userfriendly requirements capture met...
Abstract. The Abstract Behavioral Specification (ABS) language is a formal, executable, object-orien...
AbstractWe present a broad extension of the conventional formalism of state machines and state diagr...
AbstractIn this paper we give a formal definition of the requirements translation language Behavior ...
Manually verifying the behavior of software systems with respect to a set of requirements is a time-...
Abstract The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity...
A technique for software system behavior specification appropriate for use in designing systems with...
This paper overviews design of VCL, a new visual language for abstract specification of software sys...
Many approaches have been developed to partition a system's behavioral description before a structur...
Abstract. Message Sequence Charts (MSCs) are an appealing visual formalism that play a useful role i...