Titlebook: Software Engineering Techniques; Third IFIP TC 2 Cent Zbigniew Huzar,Radek Koci,Jaroslav Zendulka Conference proceedings 2011 IFIP Internat

EXALT

Automated Generation of Implementation from Textual System Requirementsist of use cases and a domain model. A use case is a sequence of tasks, which have to be performed to achieve a specific goal. The tasks of the use case are written in a natural language. The domain model describes objects used in the use cases. In this paper, we present an approach that allows auto

高射炮

加強(qiáng)防衛(wèi)

Mining Design Patterns from Existing Projects Using Static and Run-Time Analysisir placement in the system can be crucial when trying to add a new feature without degradation of its internal quality. In this paper a new method for recognition of given patterns in object-oriented software is presented. It is based on static and semidynamic analysis of intermediate code, which is

padding

Transformational Design of Business Processes for SOAsome non-functional requirements concerning e.g. performance of these processes, are met. In the paper a transformational approach to design of business processes is presented. To check equivalence of business processes resulting from the transformations, a BPEL description is converted to Process A

JOT

Infect

SMA—The Smyle Modeling Approachport engineers to interactively obtain design models from requirements, characterized as either being desired (positive) or unwanted (negative) system behavior. The learning approach is complemented by . where the engineer can specify . desired or unwanted behavior. This way, user interaction is red

oblique

Open Work of Two-Hemisphere Model Transformation Definition into UML Class Diagram in the Context ofa given technological platform. MDA consists of four models: CIM (Computation Independent Model), PIM (Platform Independent Model), PSM (Platform Specific Model) and code model, all these are parts of the MDA transformation line: CIM->PIM->PSM->code. A PIM model has to be created using a language wh

Interdict

HTCPNs–Based Tool for Web–Server Clusters DevelopmentTCPN) structures – patterns. The patterns make it possible to naturally construct typical and experimental server–cluster structures. The preliminary patterns are executable queueing systems. A simulation based methodology of web–server model analysis and validation has been proposed. The paper focu

一罵死割除

狂熱文化

Refactoring the Documentation of Software Product Linesimproving SPL architecture in such a way that the behavior of existing products remains unchanged. We extend the idea of SPL refactoring to technical documentation because reuse techniques could effectively be applied to this area and reusable assets evolve and should be maintained. Various XML-base