FUSC 发表于 2025-3-25 07:14:40

Open Services for Software Process Compliance Engineeringt budget and deadline constraints. Open Services for Lifecycle Collaboration (OSLC) is the emerging initiative inspired by the web which is currently at the technology trigger stage along its hype cycle with the potential to have a determining impact on the future of Software Process Compliance Engineering.

词根词缀法 发表于 2025-3-25 09:09:38

http://reply.papertrans.cn/87/8603/860223/860223_22.png

异教徒 发表于 2025-3-25 13:42:42

http://reply.papertrans.cn/87/8603/860223/860223_23.png

冥想后 发表于 2025-3-25 17:05:29

Error-Pruning in Interface Automata-free, we consider the coarsest precongruence for parallel composition respecting the basic requirement. We find that pruning proves to be relevant in all cases; we also point out an error in an early paper by de Alfaro and Henzinger.

推崇 发表于 2025-3-25 23:00:24

Matching of Images of Non-planar Objects with View Synthesiss lower than for planar objects matching. The best detector for matching images of 3D objects is the Hessian-Affine in the . configuration. The iterative MODS matcher performs comparably confirming it is a robust, generic method for two view matching that performs well for different types of scenes and a wide range of viewing conditions.

MELD 发表于 2025-3-26 01:24:21

http://reply.papertrans.cn/87/8603/860223/860223_26.png

affinity 发表于 2025-3-26 08:02:33

Goal-Based Establishment of an Information Security Management System Compliant to ISO 27001 requirements engineering methods have been used to elicit and analyse security requirements for building software. In this paper, we propose a goal-based security requirements engineering method for creating an ISMS compliant to ISO 27001. We illustrate our method via a smart grid example.

FIN 发表于 2025-3-26 09:30:36

Exact Algorithms to Clique-Colour Graphsme inclusion-exclusion algorithm to compute ..(.) exactly, and a branching algorithm to decide whether a graph of bounded clique-size admits a 2-clique-colouring which runs in time ..(..) for some . < 2.

意外 发表于 2025-3-26 14:24:24

Supporting Non-functional Requirements in Services Software Development Process: An MDD Approachtform Specific Models; and . rules to transform Platform Specific Models into concrete implementations. In order to illustrate our proposal, the paper also describes how to apply the methodology to develop a proof of concept.

连词 发表于 2025-3-26 19:55:36

http://reply.papertrans.cn/87/8603/860223/860223_30.png
页: 1 2 [3] 4 5 6 7
查看完整版本: Titlebook: SOFSEM 2014: Theory and Practice of Computer Science; 40th International C Viliam Geffert,Bart Preneel,A Min Tjoa Conference proceedings 20