Guide of SPECIFICATION AND DESIGN LANGUAGE
Extensible Markup Language (XML) 1.0 (Fourth Edition)
Enables generic SGML to be served, received, and processed on the Web in the way
that is now possible with HTML. XML has been designed for ease of ...
This document specifies a syntax created by subsetting an existing, widely used international text processing standard (Standard Generalized Markup Language, ISO 8879:1986(E) as amended and corrected) for use on the World Wide Web
XML is an application profile or restricted form of SGML, the Standard Generalized Markup Language
and ISO/IEC 10646 for characters, Internet RFC 3066 for language identification tags, ISO 639 for language name codes, and ISO 3166 for country name codes), provides all the information necessary to understand XML Version 1.0 and construct computer programs to process it
(Of strings and rules in the grammar:) A string matches a grammatical production if it belongs to the language generated by that production
The Java Language Specification
Sun's formal specification of the Java language (all versions). Online HTML, HTML
in ZIP archive, and PDF formats.
» > > > > > > Books The Java Language Specification The Java Language Specification, Third Edition is now available in a pre-publication PDF release
Written by the inventors of the technology, The Java Language Specification, Third Edition is the definitive technical reference for the Java programming language
If you want to know the precise meaning of the language's constructs, this is the source for you
The book provides complete, accurate, and detailed coverage of the Java programming language
James Gosling is a Fellow and Chief Technology Officer of Sun's Developer Products group, the creator of the Java programming language, and one of the computer industry's most noted programmers
Joy has had a central role in shaping the Java programming language
is a Sun Fellow at Sun Microsystems Laboratories, where he is responsible for research in language design and implementation strategies, parallel algorithms, and computer arithmetic
He is well known as the co-creator of the Scheme programming language and for his reference books for the C programming language (with Samuel Harbison) and for the Common Lisp programming language
Cetus Links: 16604 Links on Objects and Components / Architecture ...
Collection of links; includes other links on objects and components.
Architecture and Design: Unified Modeling Language (UML) Intro 'The Unified Modeling Language ( UML ) is a language for specifying, constructing, visualizing, and documenting the artifacts of a software-intensive system
First and foremost, the Unified Modeling Language fuses the concepts of Booch, OMT, and OOSE
The result is a single, common, and widely usable modeling language for users of these and other methods
Second, the Unified Modeling Language pushes the envelope of what can be done with existing methods
Third, the Unified Modeling Language focuses on a standard modeling language, not a standard process
The UML specifies a modeling language that incorporates the object-oriented community's consensus on core modeling concepts
Hay) (Popkin Software & Systems) (PDF; Sinan Si Alhir) (Magnus Penker) (Software Development magazine) (DevX) (Free.fr) (Objects by Design) (Peter Hruschka) (Steve Downey) (Software Development magazine) (LAN Times Magazine) (LAN Times Magazine) (LAN Times Magazine) (LAN Times Magazine) Articles Collections (Object Mentor) (Mario Jeckle) (Rational Software) OCL - Object Constraint Language (IBM) Real Time (i-Logix) (i-Logix) (i-Logix) (Dr
Object-Oriented Language: Eiffel
Links on Eiffel and object technology, some fine original content, including
marketing Eiffel. Descriptions, news, downloads, links.
Object-Oriented Language: Eiffel See also Intro Eiffel is a pure, statically typed OO language
Eiffel is arguably the best commercial object-oriented language available today (Jim Rumbaugh)
Eiffel is more than a language; it is a framework for thinking about, designing and implementing object-oriented software (Richard Wiener)
info: SPECIFICATION AND DESIGN LANGUAGE
Photo by www.tkt.cs.tut.fi
The Java Modeling Language (JML) Home Page
A behavioral interface specification language that can be used to specify the
behavior of Java modules.
For Users For Developers Reference Valid JML Home Page About JML The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of modules
It combines the design by contract approach of and the model-based specification approach of the family of interface specification languages, with some elements of the
Leavens and Yoonsik Cheon) explains the most basic use of JML as a design by contract (DBC) language for Java
's Dependable Software Research Group (), at Concordia University in Montreal, is working on language improvements (a new assertion semantics, non-null by default and arbitrary precision arithmetic) and their support in the Common (formerly ISU) JML tools and
They also work on modular verification, including a treatment of frame axioms and a formal verification tool (Jive) that will use JML as its specification language
and his students are working on modular verification, including a treatment of frame axioms and a formal verification tool (Jive) that will use JML as its specification language
Programming Language and Compiler Research Groups
Multi-site working groups and projects listing.
Programming Language and Compiler Research Groups Programming Language and Compiler Research Groups Multi-site working groups and projects are listed at the bottom
, research projects: Agora is a prototype-based object-oriented programming language featuring encapsulated inheritance on objects
The Advanced languages and compilers for real-world systems programming
(Served by the, which is written completely in an extension of Standard ML.) The LF logical framework and its implementation in the constraint logic programming language
Semantics-based techniques for compiling advanced programming languages The Applications of logic (including formal semantics and type theory); techniques for designing and implementing programming languages; formal specification and verification of hardware and software systems The
, a data-parallel language with nested parallelism; supercomputer compilation techniques, including data representation and layout
Programming and specification language design, semantics, and implementation; concurrent and distributed systems; databases and persistent objects; software development libraries and environments
Researchers in Programming Languages and Compilers
A list of home pages for researchers working on programming language theory,
design, implementation, and related areas. Maintained by Mark Leone at CMU.
Researchers in Programming Languages and Compilers Researchers in Programming Languages and Compilers Below are links to home pages of researchers working on programming language theory, design, implementation, and related areas
Home Pages - DEC SRC Security in distributed systems, specification and verification methods, principles of programming languages
- University of Edinburgh Semantics of programming languages, concurrency, game semantics, program analysis
- Technical University of Valencia (Spain) Logic Programming: semantics, extensions and applications integration of functional and logic programming languages abstract interpretation, program manipulation
Compilation, optimization, and garbage collection of mostly functional programming languages
- University of Oregon Principles of programming languages, formal semantics
- MIT All aspects of parallel computing and declarative programming languages
Dynamic dataflow architectures, the implicitly parallel programming language Id, and the compilation of languages such as Id on parallel machines
- University of Kansas Program analysis, program transformations, language design and implementation
The Ruby relational design language
Ruby is a notation and design discipline intended for the development of regular
integrated circuits and similar hardware and software architectures.
Photo by www.lsc.ic.unicamp.br
Unified Modeling Language - Wikipedia, the free encyclopedia
Growing article, with links to many related topics. [Wikipedia] The Unified Modeling Language ( UML ) is a non-proprietary, and used in
UML is a language that includes a standardized graphical notation that may be used to create an abstract model of a system, sometimes referred to as the UML model
UML may be considered as an extensible modeling language since it offers a profile mechanism to customize the language
If a concept you need is not present in the base language, you may introduce it by defining a
UML is a language
The (SysML) is a language for that is defined as a UML 2.0 profile
In 1996 the Three Amigos decided that a Unified Modeling Language was more viable than a Unified Method, and redirected their efforts to respond to the Request for Proposal (RFP) for an object modeling language ('Object Analysis & Design RFP-1', OMG document ad/96-05-01), which was issued in June 1996
Under the technical leadership of Three Amigos, an international consortium called the was organized in 1996 to complete the Unified Modeling Language (UML) specification, and propose it as a response to the OMG RFP
It is now an international standard: / 19501:2005 Information technology -- Open Distributed Processing -- Unified Modeling Language (UML) Version 1.4.2 UML has matured significantly since UML 1.1
EDA-STDS.ORG Home Page
Collection of Electronic Design Automation (EDA) and Computer-Aided Design(CAD)
activities for the purpose of support, open exchange and dissemination of ...
Dedicated to the support, open exchange and dissemination of in-development standards from EDA Industry Working Groups The Electronic Design Automation (EDA) and Electronic Computer-Aided Design (ECAD) one-stop resource on the WWW! (with a historical focus on HDL's due to our origin and sponsors) Sponsored by & ( green groups appear to be dormant) ( italicized groups are of interest but not hosted at this site) Accellera (formerly OVI ) (see also ) Other: C/C++ Class Library Standardization Working Group () Interface Technical Committee () Open Kit () Technical Committee System Level Design: Language (, ) Study Group (also former OVI Committee) Core Working Group () Rosetta Working Group () Semantics Working Group () : Verilog: Verilog Analog Mixed-Signal () Working Group Verilog Formal Verification () Working Group VHDL: (VHDL) Design Constraints Working Group () / VIUF are now Accellera
EDA Industry Standing Conferences HDL Conference () International Forum on Design Languages ( ) ) Design Automation Conference () Design Automation & Test in Europe () Asian & Pacific Design Automation Conference () IC CAD () International Symposium on Physical Design () DesignCON () Books listed in the listings for VHDL, Verilog, and EDA Copyright (c) 1994-2006 by Accellera, last edited: 06/14/06 at 1:40 PDT
Formal Language Semantics
Design and Specification Through Interfacing and Joining Languages: fits in the
framework of formal language engineering, aims at fundamental theoretical ...
Formal Language Semantics I had been part of the EU project DeStijl - DEsign and Specification Through Interfacing and Joining Languages - see below
The HCM project De Stijl De Stijl (Design and Specification Through Interfacing and Joining Languages) is a Human Capital and Mobility (HCM) network project
The project fits into the framework of formal language engineering and aims at fundamental theoretical results relating features of existing languages for software specification and design
Software patterns, AH Eden
An annotated bibliography of articles describing research in the formalization
of design patterns, including formal languages, tools supporting the ...
Formal And Precise Software Pattern Representation Languages This page was merged with my Web page
SPECIFICATION AND DESIGN LANGUAGE ?
UML eXchange Format (UXF) & Pattern Markup Language (PML)
XML-based format for exchanging and publishing UML models.
UML E XCHANGE FORMAT & PATTERN MARKUP LANGUAGE Enter your email address to receive an email (courtesy of ), when this page is updated
XML is a sophisticated subset of SGML (Standard Generalized Markup Language: ISO 8879), and provides the following advantages: Application neutrality (vender independence) User extensibility Ability to represent arbitrary and complex information Validation scheme of data structure Human readability UXF facilitates: Interoperability between development tools: Software models are dynamically changed in the analysis, design, revision and maintenance phases
Pattern Markup Language (PML) PML (Pattern Markup Language) is a XML-based format to describe software patterns
(June 1998) Available format: [ | ] Abstract: As Unified Modeling Language (UML) provides most of the concepts and notations that are essential for documenting object-oriented models, it has been widely accepted in the software engineering area
This paper addresses this problem and proposes UXF (UML eXchange Format), which is an exchange format for UML models, based on XML (Extensible Markup Language)
In the software engineering community, Unified Modeling Language (UML) has been widely accepted as an object-oriented software analysis/design methodology, since it provides most of the concepts and notations that are essential for documenting object oriented models
Cecil/Vortex Project Paper: "Specification & Rationale"
Specification and rationale: pure object-oriented, prototype-based, statically-typed,
to support fast writing of reliable, extensible systems.
The Cecil Language: Specification & Rationale Craig Chambers and the Cecil Group Cecil is a purely object-oriented language intended to support rapid construction of high-quality, extensible software
Cecil includes a fairly flexible form of parameterization, including explicitly parameterized objects, types, and methods, as well as implicitly parameterized methods related to the polymorphic functions commonly found in functional languages
This document mixes the specification of the language with discussions of design issues and explanations of the reasoning that led to various design decisions
To get the PostScript file for the most recent version of the Cecil language specification, click
Using Z: Specification, Refinement, and Proof (Formal techniques ...
By Jim Woodcock, Jim Davies; Prentice Hall, 1996, ISBN 0139484728. Treats formal
techniques and methods for software engineering via Z. Full text, slides, ...
The TCOZ Home Page
Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling
state, concurrent events, real-time behavior, and structuring and decomposing ...
In the graphical area, many object-oriented methods have merged into one, the Unified Modeling Language (UML)
chapter in book: Unified Modeling Language: Systems Analysis, Design, and Development Issues (Editors: K
Smith, The Object-Z Specification Language Kluwer Academic Publishers, 2000
Building bug-free OO software: An introduction to Design by Contract
Advanced use of assertions for clearer specifications and greater software
reliability. By OO guru Bertrand Meyer, creator of Eiffel.
A technique for dealing with abnormal cases, leading to a safe and effective language construct for exception handling
The ideas developed below are part of [, ] which the reader is urged to view here not so much as a programming language but rather as a software development method
This has the advantage that the specification language is embedded in the design and programming language (here Eiffel), whereas formal specification languages are typically non-executable or, if they are executable, can only be used for prototypes
Here our criteria are more demanding: we want our language to be used for practical commercial development and hence to yield efficient implementation
The Eiffel language rules for assertion redefinition  support the principle of subcontracting
(See the new edition of  for the most up-to-date description.) An extended specification language , allowing the expression of a richer set of assertions
Design by Contract has already been widely applied; the theory provides a powerful thread throughout the object-oriented method, and addresses many of the issues that many people are encountering as they start applying O-O techniques and languages seriously: what kind of "methodology" to apply, on what concepts to base the analysis step, how to specify components, how to document object-oriented software, how to guide the testing process and, most importantly, how to build software so that bugs do not show up in the first place
Cover Pages: Directory Services Markup Language (DSML)
Provides repository of information regarding the development of Directory Services
Markup Language. (OASIS / Robin Cover)
| Last modified: June 13, 2002 Technology Reports Directory Services Markup Language (DSML) [November 30, 2001] OASIS DSML TC Recommends Directory Services Markup Language Version 2 as OASIS Standard
The Directory Services Markup Language version 2.0 (DSMLv2) is 'an XML application that provides a method for expressing directory queries, updates, and the results of these operations
Therefore the design approach for DSMLv2 is to express LDAP requests and responses as XML document fragments.'   has announced Directory Services Markup Language (DSML) as 'the XML Standard for Directories that Enables Friction-free eCommerce
DSML is a markup language for representing directory services in XML
Completed in November 2001, the OASIS Directory Services Markup Language (DSML) version 2 was recently voted as an OASIS Standard
This along with the intent to support non-sequential ldif-like applications via the mode='parallel' mark the departure of v2 from v1...'  Jeff Parham: 'The original goal of maintaining consistency with DSMLv1 was pretty quickly abandoned by the TC...' [notes from the DSML list, February 2002] [September 20, 2001] From OASIS TC for Directory Services Markup Language (DSML)
The Ada Programming Language
History, significant features, areas of application, sample programs, related
links, printed references.
The Ada Programming Language Click below to go directly to a specific section: | This is the ACM's collection of information and references for the ADA programming language
UML for Ada 95
WinA&D is a UML modeling tool with Ada code generation. WinTranslator generates
UML models from existing Ada code. Together WinA&D and WinTranslator provide ...
Ada is a programming language used primarily on mission critical defense projects
Working closely with a large defense contractor, Excel Software has mapped a streamlined UML notation to the Ada programming language
WinTranslator fully automates that process with a multi-step dialog that guides the developer to enter project information like programming language and code folder locations and then generates and executes a script of commands to reengineer the project