A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

Booth Title: Palm, Inc. Booth Number: 939

Booth Title: PeopleSoft, Inc. Booth Number: 902

DESCRIPTION: PeopleSoft, Inc., offers a complete line of e-government applications to help federal agencies serve their constituents, share and manage information, maximize efficiency and effectiveness, and meet performance goals. More than 100 federal customers trust PeopleSoft's Web-enabled and pure-Internet software to streamline services so that citizens, suppliers, and employees can access information in real-time and avoid lines and other administrative delays.

Booth Title: PHI Enterprises, Inc. Booth Number: 429

Booth Title: PMA Network Services LLC Booth Number: 940

DESCRIPTION: PMA Network Services, LLC., is a full-service network and telecommunications provider. From Web site development and hosting to high speed internet connectivity to total network architecture and management, PMA has proven their expertise in providing a wide range of services to government and industry. As a privately owned small business, PMA is able to offer a responsiveness and quality beyond the expectations of our customers, but still provide the “one-stop shop” solution our customers prefer. Please come and visit with us at the Software Technology Conference, Booth #940.

URL: www.pmans.net

Booth Title: PolySpace Technologies Booth Number: 1012

DESCRIPTION: PolySpace Technologies provides the first testing tool that automatically detects runtime errors at compilation time. PolySpace is highly suitable for critical software applications (e.g.: DO178-B, FDA, MISRA ...) where such errors are highly disliked and related consequences may be very costly. Thanks to abstract interpretation techniques, PolySpace automatically pinpoints runtime errors in source code prior to compilation, execution, or testing. With no test case to write, no need to instrument or to execute the code, and no change to existing software development process, PolySpace solely relies on source code to exhaustively check your application for runtime errors. Mainly dedicated to the embedded system industry, PolySpace provides dramatic testing and code review cost reductions and unprecedented software reliability improvements.

URL: www.polyspace.com

Booth Title: pragma Systems Corp. Booth Number: 720

DESCRIPTION: pragma Systems Corp. provides products that help software development organizations efficiently and effectively manage software development projects - directing more energy into increased productivity and quality. pragma Systems has been in the CMMSM-based assessment and improvement business since 1990, and is the market leader in CMMSM-compliant software management products. processMax® is an intranet product that is guaranteed to provide everything necessary for your organization and projects to operate in compliance with the SEI's Software CMM (SW-CMMSM). With processMax, you can achieve SW-CMMSM compliance nearly five times faster than with conventional methods. processMax provides managers with step-by-step procedures, integrated document management, and automated workflow; enabling increased productivity, fewer defects, and reduced risk. pragma Systems guarantees that if you install and use processMax2/processMax3, then your projects will receive a maturity rating of no less than Level 2/Level 3 from an independent CMMSM-Based Appraisal for Internal Process Improvement (CBA IPI) or Software Capability Evaluation (SCE).

URL: www.pragmasystems.com

Booth Title: Praxis Critical Systems Ltd Booth Number: 623

DESCRIPTION: Praxis Critical Systems specializes in the development of highly-critical, software-intensive systems and related consultancy, including independent verification and validation. We make use of the most advanced tools and techniques available including formal methods and software proof. Although mainly a services company, we also produce and support tools where these have a proven value in the development of critical systems. Our SPARK language provides unparalleled support for formal reasoning about software systems. It has exact, unambiguous semantics while remaining compatible with mainstream Ada development tools. Its support tool, the SPARK Examiner, provides a range of analysis options including a rigorous demonstration that code is "exception free" under all circumstances. SPARK has a proven track record in facilitating high quality at low cost to the most exacting standards such as DO-178B, Def Stan 00-55 and ITSEC E6. SPARK is a good example of the "pragmatic formalism" that characterizes the company.

URL: www.sparkada.com

Booth Title: Predicate Logic, Inc. Booth Number: 638

DESCRIPTION: Predicate Logic, Inc., has invented, developed, and implemented TychoMetrics®. TychoMetrics automatically collects metrics on any project- and/or enterprise-level activity and reports them to a Web site for viewing by executives, managers, and any authorized personnel. Enabled by Predicate Logic’s patented metrics technology, it is the only industry tool designed to require minimal human intervention in the automatic harvesting, manipulation, and reporting of project metrics information. Predicate Logic delivers software and systems engineering services with a focus on communications technology. Although best known for providing engineering services for defense agencies, Predicate Logic is expanding into commercial markets. Over the last eight years, Predicate Logic has built up core competencies in three areas: software engineering, network and internet engineering, and project management. These include: communications system design, specification development, software engineering, platform integration, project risk assessment, network technology assessment, hardware integration, operational analyses, design and prototyping, network evaluation, base lining, and training.

URL: www.predicate.com

Booth Title: Project Technology, Inc. Booth Number: 439

DESCRIPTION: Project Technology, Inc., accelerates real-time embedded software development with proven Executable and Translatable UML (XTUML) processes and tools. XTUML is based on an object-oriented approach that has been used on over 1400 real-time and technical projects. These projects include life-critical implanted medical devices, Department of Defense (DoD) flight-critical systems, 24x7 performance-critical fault-tolerant telecom systems, highly resource-constrained consumer electronics, and large-scale, discrete-event simulation systems. Direct benefits of XTUML and Project Technology’s automation tools include compressed project schedules, reduced software defect rates, optimized system performance, and highly compact code. XTUML also accelerates development of products with multiple releases, growing or changing requirements, and multiple targets and families of products. Quality is increased and development accelerated by reuse of pretested applications, application components, and designs. Companies can compete more aggressively and effectively for customers, contracts, and market share on a pricing, time-to-market, and product quality basis.

Booth Title: proubis GmbH Booth Number: 838

DESCRIPTION: proubis GmbH, since 1995, has specialized in the development and retail of software tools for business process management. Additionally proubis offers training, coaching, consulting, and product customization services. Consulting is offered through a broad network of consulting partners representing various industrial sectors and different solution foci. The core product is BONAPART Professional, a leading tool for simulation and analysis of business processes. Customers can also use BONAPART Collaborative, an innovative Java-based tool for Web-based Intra- /Internet collaborative work. The majority of customers, both in Europe and abroad, use BONAPART in the documentation and optimization of processes and organizational structures. Companies of all sizes use BONAPART to structure their business, measure process efficiency with regard to critical success factors, and simulate process alternatives before deciding on the optimal process for implementation. As a result, business processes are modified to be more efficient and to better meet customer expectations.

URL: www.proubis.de

© 2002 [Utah State University]. All rights reserved.