|The Design by Contract portal|
Home page for Connecticut Object Oriented Users Group, Inc., which promotes a more common awareness, usage, understanding, and acceptance of object technology. The group offers frequent exchanges of information, experiences, and strategies that help software systems to become more flexible and more adaptive to the ever-changing business climate.
The home page of Inferdata corporation, which provides Object-Oriented Solutions. Inferdata's goal is to help its clients achieve sure-footed and successful transitions to OO technology, seeing them through from expert "big picture" analysis and design, mentoring in the early stages of implementation, training at appropriate levels, to final successful project completion.
A firm which provides a wide variety of necessary CADD services, with money-saving advantages
The home page of Priority Technologies, a technology consulting and training firm specializing in large-scale object-oriented and client-server development. Priority Technologies is centered on the development of partnership relationships with progressive companies who would benefit from expertise in advanced technologies. They create a true partnering environment through innovative pricing, disclosure, and planning in support of immediate and long-term objectives.
The home site of the Federal University of Rio Grande do Sul's Institute of informatics, with information on research projects and the school's professors. The site also has information about the GPPD, a research group which has several projects concerning parallel and distributed processing.
The site of the semantics group at the department of informatics the Ossietzky University of Oldenberg. The group is assigned to theoretical informatics. The work focuses on theory of programming. In particular, formal semantics for parallel and distributed systems is studied, considering operational, denotational and predicative approaches as well as transformational. The common goal of these efforts is to establish methods for the systematic development of correct software for communicating distributed real-time systems. In cooperation with partners from industries, the resulting methodology is applied to a variety of case studies, reaching from telecommunication to traffic control systems.
A site which has German translations for many common programming terms and names. Here are some examples of English words you would find translated: behavior modeling techniques, conceptional modeling, dynamic classification, implementation class, etc.
The page of a company searching for volunteers to test J-Eiffel, a new Eiffel compiler with JVM bytecode generation. The company is developing a new Eiffel compiler with JVM code generation, and is ready to begin alpha testing with a limited pool of outside testers. At this juncture, it requires testers who are already relatively sophisticated Eiffel or Java programmers.
The site of Ada-Belgium. The purpose of Ada-Belgium is to be a forum for persons and organizations interested in the Ada programming language, in its applications, and in Ada related technologies such as software engineering methods, environments, and tools. Ada-Belgium is a non-profit organization ran by volunteers, and a member of Ada-Europe, the European federation of national Ada organizations.
The site of Eiffel-Finland. This sites contains Eiffel information from Finland and elsewhere in Finnish.
A site dedicated to exposing an eclectic mix of elegant tachnologies, such as Eiffel, DBC, etc. This site contains articles and tutorials on Eiffel and its relationship to other products in th object-oriented industry, as well as opinion articles about Eiffel.
The site of Halstenabch ACT. Since its foundation in 1982 Halstenbach ACT has made a name for itself with excellent products and competent and effective consulting. As producer and supplier it provides high quality software development tools for all phases of software development. This core competence is embedded in a comprehensive set of IT services, which include management consulting, project development and project coaching.
A site, IN FRENCH, about the past activities of the french club, "Object Club of the West". It contains a presentation aimed at anyone who wants to discover the possibilities of the GNU Eiffel environment (the SmallEiffel project), as well as other related projects.
The home site of jGuru, whose purpose is (1) to promote industry standards so that software development stays open and happens faster and (2) to create a level playing field in the industry for all developers, both companies and individuals, so that all technologies have their equal chance to be seen, tested, and adopted in the market.
The site of Macropoint Software ltd. Macropoint specializes in the field of software development for corporate business & personal accounts (offshore software outsourcing). The choice of its sphere of activity (low-cost but high-quality services in software development) becomes especially clear through the difference in the prices for services of expert specialists in Bulgaria and the countries of Western Europe.
The site of Maplegate technologies which provides custom software development, programming, database development, etc.
A site with papers on business components and business rules, of interest to all students and teachers of software engineering methods
An tutorial about Design by Contract. This tutorial also states the best source of support for Design by Contract, namely Eiffel.
The site of Noth Pole Engineering, which provides design and development capabilties in hardware and software
The site of Numeric Quest, which is involved in Object-Oriented programming in Eiffel, Smalltalk, Java, Objective C, and Webobjects. It also gravitates to more advanced form of programming - functional programming, as well as closely monitoring what happens in research languages, evaluating interesting languages, and weighing pros and contras.
The site of Objective Knowledge, which was founded with the intention to help software producing companies and organizations to build their software in the right way with the right quality. Objective Knowledge regards the object-oriented approach as the undeniable basis for state-of-the-art software engineering. Very much influenced by the work of people like Edsger Dijkstra, Bertrand Meyer, and many others, Objective Knowledge is convinced that a rigorous approach to software construction is the only way to construct systems that can do the job they were designed for.
The site of Object Technology Partners, which provides consultancy and software house services to Norwegian businesses. Its flagship product is the StockPoint product suite. Aimed at the semi-professional investor and financial brokerage firms, StockPoint delivers real-time information from stock-markets, enables on-line trading and portfolio-management and becomes the main point-of-contact between brokerage firms and their customers. The product is Web-based using the Internet or a Virtual Private Network as the underlying carrier. It utilizes the latest component-based and object-oriented technologies enabling StockPoint Nordic to react quickly to the rapid changes occurring in an ever increasingly complex financial market.
The site of Eiffel Liberty, an online magazine about the Eiffel method and language. Specifically, the first issue of Eiffel Liberty - An Online Information Base about the Eiffel Method and Language, teaches more about the exciting world of the Eiffel Method and Language.
A GERMAN site with resources for programmers, such as: a tutorial comparing and introducing Ruby, an introduction to the programming language BETA, an introduction to the programming language PROLOG, and more.
The home page of the department of computer science at the George Washington University, which contains information about graduate programs, research areas, undergraduate degrees, the faculty and department, and more.
The site of StellarLogis corporation, which develops web-based computer software solutions. Some of its services include: Design, development, and deployment of web-based front end and database back office software solutions for small and medium businesses, testing and execution of quality assurance activities for web-based products, management of internet and intranet engineering projects, internationalization of web sites, and configuration management and version control services.
This is a frequently-updated and complete index of free XML tools, with much metadata about the tools to make them easier to locate.
The site of SWIG, an interface compiler that connects programs written in C, C++, and Objective-C with scripting languages including Perl, Python, and Tcl/Tk. It works by taking the declarations commonly found in C/C++ header files and using them to generate the glue code (wrappers) that scripting languages need to access the underlying C/C++ code.
The home site of Teragram Corporation, which provides practical solutions to the monstrous amount of information available electronically. Teragram’s unique technologies enable the richer processing that comes at the level of words, linguistic relations, and word senses. What's more, Teragram solutions are scalable to huge quantities of information, providing the same processing speed for any amount of data, while still encoding that data in a form which is highly compressed. Teragram’s enabling technologies offer the world’s fastest, most compact, most scalable solutions to the numerous challenges of today's information storage, meaning extraction, text compression, and text correction needs.
The home site of Technology Transfer, which provides advanced education for IT professionals
The home site of TurnKey PLUS, which provides complete, cost-effective product development and manufacturing solutions that satisfy customer's needs for high quality, fully functional, user-ready products. Unlike working with typical single-specialty manufacturers, a partnership with TurnKey PLUS provides customers unlimited access to a full range of services and technologies where they are needed throughout all phases of bringing a product to market including: Product Development,Product Manufacturing, and Product Shipment and Support.
A page with tutorials, links, articles, books, organizations, conferences, information, and related material on design and development
|Design by contract home DBC seminars OOSC Eiffel|
Questions? Comments? Let us know!
URL for this page: http://designbycontract.com/basics/key_sites.html
©1993-2001 Interactive Software Engineering, Inc. All rights reserved.