Sciweavers

1021 search results - page 36 / 205
» Design of a Specification Language by Abstract Syntax Engine...
Sort
View
FDL
2006
IEEE
15 years 2 months ago
System Description Aspects as Syntactic Sugar
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...
Jens Brandt, Klaus Schneider
VL
2010
IEEE
173views Visual Languages» more  VL 2010»
14 years 9 months ago
Modular Design by Contract Visually and Formally Using VCL
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
Nuno Amálio, Pierre Kelsen
APSEC
2000
IEEE
15 years 2 months ago
A GUI and testing tool for SOFL
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto
JUCS
2002
131views more  JUCS 2002»
14 years 10 months ago
An Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Develop
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
Alexander Fronk
CORR
2008
Springer
81views Education» more  CORR 2008»
14 years 11 months ago
Platform-Independent Firewall Policy Representation
paper we will discuss the design of abstract firewall model along with platform-independent policy definition language. We will also discuss the main design challenges and solutio...
Vadim Zaliva