Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.iki.rssi.ru/seminar/2011030204/presentation/20110303_05.pdf
Дата изменения: Sun Mar 13 22:25:51 2011
Дата индексирования: Mon Feb 4 14:28:10 2013
Кодировка:
Поисковые слова: п п п п п п п п п п п п п п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р р п п р п

.., , www.ispras.ru/~petrenko



« »
, / / , , « »





(Wikipedia:)Software engineering (SE) is a profession dedicated to designing, implementing, and modifying software so that it is of higher quality, more affordable, maintainable, and faster to build. It is a "systematic approach to the analysis, design, assessment, implementation, test, maintenance and reengineering of software, that is, the application of engineering to software."



(Wikipedia:)Software engineering (SE) is a profession dedicated to designing, implementing, and modifying software so that it is of higher quality, more affordable, maintainable, and faster to build. It is a "systematic approach to the analysis, design, assessment, implementation, test, maintenance and reengineering of software, that is, the application of engineering to software."



(:) -- , , . (Curricula Recommendations Software Engineering SE 2004: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering).




Computer Science ( / )

(management)




.....

Computer Science

­


Computer Science ( / )
..... (management)




Computer Science ( / )

(management)




, ,


, , ,


( )


,


Motivation. /
, :
, , , ( , , , , ­ ).





­ (domain specific) . :
, , , , , , , , .



(ALM) .
Model driven/Model based . :
( ) .

«» ()
? « ». « » «-»

, , .
,





SEMAT (OMG) - Software Engineering Method and Theory OSEE (Boeing) ­ Open System Engineering Environmet ALM (IBM, HP, Borland) - Application lifecycle management Microsoft:
Verifying Compiler, RiSE, interoperability@microsoft, Interoperability Bridges and Labs Center (Microsoft), Microsoft ALM solutions

MDA, MDE, CESAR, ModelBus, MODELPLEX OSLC (IBM) - Open Services for Lifecycle Collaboration SEMAT


- Software Engineering Method and Theory
Semat seeks to develop sound basis for software and its wide adoption by Troika - Bertrand Meyer, Richard Soley a r ig o r o u s , th e o r e tic a lly e n g in e e r in g p r a c tic e , industry and academia. Iv a r J a c o b s o n &


SEAT
Software engineering is gravely hampered today by immature practices. Specific problems include: The prevalence of fads more typical of fashion industry than of an engineering discipline. The lack of a sound, widely accepted theoretical basis. The huge number of methods and method variants, with differences little understood and artificially magnified. The lack of credible experimental evaluation and validation. The split between industry practice and academic research. We support a process to refound software engineering based on a solid theory, proven principles and best practices that: Include a kernel of widely-agreed elements, extensible for specific uses Addresses both technology and people issues Are supported by industry, academia, researchers and users Support extension in the face of changing requirements and technology


Semat tracks
Architecture Track (led by Paul McMahon) Requirements Track (led by Dave Cuningham) Theory Track (led by Michael Goedicke) Kernel Language Track (led by Michael Goedicke) Universal Track (led by Ian Spence) Assessment Track (led by Paul McMahon) Definition Track (led by Mira Kajko-Mattsson)


OSEE - Open System Engineering Environment
: Boeing (framework): Eclipse
Framework ATS (Action Tracking System) Coverage ( ) OTE (Open Test Environment)

18


The Open System Engineering Environment is an integrated, extensible tool environment for large engineering projects

Extensible Data Model All project data is stored in OSEE's user-definable data model, which offers revision control, bidirectional traceability, project status reporting, and metrics. Full Lifecycle Support A Potent Framework In addition to excelling as a stand-alone application, OSEE offers a full-featured API, enabling developers to harness OSEE's powerful data management capabilities for their own applications. Version and Variant Management
19


ALM - Application lifecycle management - IBM

Requirements management Project, process, and portfolio management Architecture management Software change, configuration, and release management Quality management


ALM - Application lifecycle ma n a g e me n t - H P
HP Application Lifecycle Management HP Business Process Testing software HP Change Impact Testing for SAP Applications software HP Functional Testing software HP Quality Center software HP Requirements Management module HP Service Test Management module HP Service Test software HP Sprinter software HP Test Data Management Software HP Unified Functional Testing software Performance Validation Quality Assurance


ALM - Application lifecycle management - Borland

Requirements Definition & Management Testing and ASQ Change Management


ALM - Application lifecycle management - Microsoft

Architecture Explorer TFS -- Team Foundation Server Microsoft Test Manager Microsoft Test Runner


ALM - Application lifecycle management ­ Microsoft Research
Research in Software Engineering team (RiSE).
Professional Developer Tools AjaxView Profiler for AJAX web sites. CHESS Systematic Concurrency Testing for .NET and Win32. Code Contracts Design by Contract for .NET. Doloto Time optimizer for web 2.0 applications. MolesIsolation Framework for unit testing for .NET. Pex Automated Whitebox Testing for .NET. Open Source Boogie Intermediate procedural Verification Language that produces verification conditions. CCI API that allows applications to efficiently analyze or modify .NET assemblies, modules, and debugging (PDB) files. Nmodel Source of Model-based Software Testing and Analysis Tool with C#. Academic Tools and Open Source Spec# Mechanical verifier and runtime checker for C#. VCC Mechanical verifier for concurrent C programs. Academic Tools and Closed Source Z3 High-performance automatic (SMT) theorem prover.


MDA, MDE, CESAR, ModelBus, MODELPLEX
MDA ­ Model Driven Architecture MDE ­ Model Driven Engineering CESAR, ModelBus, MODELPLEX ­ FP7 OSLC - Open Services for Lifecycle Collaboration (IBM)


SEMAT ­



.
(«» ) « »


« » ?