作者: 駭人 時間: 2025-3-21 20:20
https://doi.org/10.1007/3-540-60406-5Reengineering; Software Engineering; Softwareentwicklung; design; formal method; formal methods; logic; mod作者: Defiance 時間: 2025-3-22 03:33 作者: ALIAS 時間: 2025-3-22 05:59 作者: Grasping 時間: 2025-3-22 10:43
Conference proceedings 1995r 1995..The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topi作者: 沙漠 時間: 2025-3-22 14:07 作者: OCTO 時間: 2025-3-22 20:39
Handling version sets through feature logic,) representation, one can select, add, or modify arbitrary version subsets as user-readable entities. ICE deduces features and constraints from existing CPP-managed sources, providing interactive and incremental exploration of the configuration space.作者: CAB 時間: 2025-3-22 23:09
A personal commitment to software quality,nd active participation of all levels of management, PSP introduction can be successful. The best case is when an immediate manager takes the PSP course with a software team and the work is treated as a project commitment.作者: 飛行員 時間: 2025-3-23 03:36 作者: recede 時間: 2025-3-23 05:32
Graph grammar engineering with PROGRES,r engineering” is a first attempt to establish a new graph and rule centered methodology for the development of information system components. Having its roots in the late 80‘s it gradually evolved from a “paper and pencil” specification formalism to a tool-assisted specification and rapid prototyping approach.作者: MAIZE 時間: 2025-3-23 11:34 作者: 抵消 時間: 2025-3-23 17:44 作者: Limerick 時間: 2025-3-23 19:48 作者: 豐滿中國 時間: 2025-3-24 01:24 作者: 極大痛苦 時間: 2025-3-24 04:21
Measuring product attributes of object-oriented systems,d with emphasis on the object-oriented paradigm. We demonstrate that some of the obvious shortcomings of proposed metrics are caused by inconsiderate attribute selections. In the course of this discussion which recurs to commonly accepted frameworks in measure theory, both, well-known attributes and new proposals are treated.作者: ANTE 時間: 2025-3-24 06:33 作者: 神化怪物 時間: 2025-3-24 11:56
A specification-based methodology for testing concurrent programs,testing is defined and analyzed. The results of our empirical studies of CSPE-based testing for two concurrent problems are reported. Our results indicate that the use of sequencing constraints for specification-based testing of concurrent programs is a promising approach.作者: GRAVE 時間: 2025-3-24 17:51 作者: 性別 時間: 2025-3-24 22:57 作者: 慢跑 時間: 2025-3-24 23:28
A personal commitment to software quality,neers in the PSP but industrial introduction is substantially more challenging. Engineers who take university courses will generally complete the course when they are motivated by a degree, tuition reimbursement, or a financial reward. Early industrial experience demonstrates that with the support a作者: CAMEO 時間: 2025-3-25 05:16
Distributed modeling and distributed enaction of business processes,ut at only one site, but they are distributed to several sites. Management of distributed processes means to coordinate distributed modeling and to support distributed process enaction. In this article we illustrate a typical process distribution scenario and we discuss what distributed modeling and作者: 平項山 時間: 2025-3-25 07:54 作者: 縱欲 時間: 2025-3-25 12:05
Design process improvement case study using process waiver data,ty problems, a fundamental question is what can reliably be concluded from this data..We propose a model for the empirical study of software development as a way to begin answering this question. This model defines techniques which range over the spectrum of credibility and generalizability. From th作者: Altitude 時間: 2025-3-25 19:40
Using a symbolic model checker for verify safety properties in SA/RT models,A/RT) for the system behavioural specification, and to complement this with safety properties expressed in a declarative style using temporal logic (CTL). These properties are checked against the operational specification using a model checker (SMV)..In order to formally analyze the system propertie作者: PET-scan 時間: 2025-3-25 22:10
Instrumentation of Synchronous Reactive Models for performance engineering,c interaction, such as many real-time and communication entities. This paper presents an approach which includes performance modelling techniques in the Synchronous Reactive Modelling method supported by .. It defines a methodology based on timing and probabilistic quantitative constructs which comp作者: 清楚說話 時間: 2025-3-26 01:21
A formal framework for ASTRAL inter-level proof obligations, defined. ASTRAL is provided with structuring mechanisms that allow one to build modularized specifications of complex systems with layering. A realtime system is modeled by a collection of process specifications and a single global specification. Each process specification consists of a sequence of作者: sorbitol 時間: 2025-3-26 07:58 作者: tympanometry 時間: 2025-3-26 12:27
Measuring product attributes of object-oriented systems,respect to their relevance for controlling software quality. The impact of inappropriate attributes on the usefulness of resulting metrics is discussed with emphasis on the object-oriented paradigm. We demonstrate that some of the obvious shortcomings of proposed metrics are caused by inconsiderate 作者: 令人發(fā)膩 時間: 2025-3-26 14:46
Specifying distributed software architectures,h deals with the high-level organisation of computational elements and the interactions between those elements. The paper presents the Darwin notation for specifying this high-level organisation. Darwin is in essence a declarative binding language which can be used to define hierarchic compositions 作者: intrude 時間: 2025-3-26 18:08 作者: 遭受 時間: 2025-3-26 21:07 作者: choroid 時間: 2025-3-27 01:11
Handling version sets through feature logic, Using feature logic, . are the basic units of reasoning, making attribution models and version repositories special cases of a more general scheme. Version sets are identified by feature terms, that is, a boolean expression over (.)-features. A system is configured by incrementally narrowing the se作者: 埋葬 時間: 2025-3-27 06:00 作者: Obedient 時間: 2025-3-27 11:15
Graph grammar engineering with PROGRES,e form of graph rewriting systems or graph grammars are not yet popular among software engineers. This is a consequence of the fact that graph grammar tools were not available until recently and of the lack of knowledge about how to use graph grammars for software development purposes. “Graph gramma作者: 乳白光 時間: 2025-3-27 16:47 作者: 暴發(fā)戶 時間: 2025-3-27 20:56
An integrated formal model of scenarios based on statecharts,approaches treat every scenario as a separate entity..This paper introduces a statechart-based model that allows the formal composition of all scenarios of a system into an integrated, consistent model of external system behavior. The scenarios remain visible as building blocks in the model. The mea作者: 字形刻痕 時間: 2025-3-27 23:12
Demands and perspectives for future software engineers: An industrial viewpoint,作者: BLANK 時間: 2025-3-28 03:37
Improvise: Interactive multimedia process visualization environment,ng the process. Improvise is an open system that can be easily connected to other tools, such as process simulation and performance analysis tools. It has already been integrated with the process support environment Marvel as part of the implementation of Provence.作者: Retrieval 時間: 2025-3-28 07:10
Design process improvement case study using process waiver data,affected by the removal of certain steps in the design process. This resulted in a shorter process which was scaled to development feature size and which was implemented throughout the project..This case study also showed the importance of ensuring that the method used to capture and analyze data fr作者: intention 時間: 2025-3-28 12:48 作者: essential-fats 時間: 2025-3-28 15:49
An objective reuse metric: Model and methodology,n application. While the model and methodology are largely language-independent, we have implemented tools to compute the reuse measure from C code. We report experiences from using the measure on a few large software systems and discuss its use in discovering and encouraging reuse.作者: 傻瓜 時間: 2025-3-28 21:34 作者: Angiogenesis 時間: 2025-3-29 00:25
Integrating incremental analysis with version management, primary distribution of update information . rather than temporal supports object-oriented change modeling as well as implementations customized for specific media. All clients—presentation services, analyzers, code generators, and external tools—use a single uniform interface to history informatio作者: Deject 時間: 2025-3-29 05:22
Watts S. Humphreyhubspannungsfreier Lagerung auf einer beliebigen horizontalen Randkurve und beliebigen Belastungen (St?rfunktionen) ausführen. Die Normalspannung l?ngs der Randkurve ist bei schubspannungsfreiem Rand jeweils aus der Forderung, da? die Schnittkr?fte für alle Punkte der Mittelfl?che endlich bleiben so作者: Mumble 時間: 2025-3-29 09:32 作者: NAVEN 時間: 2025-3-29 14:30 作者: ALT 時間: 2025-3-29 17:10 作者: 戲服 時間: 2025-3-29 21:17 作者: Acetaldehyde 時間: 2025-3-30 01:45
Alberto Valderruten Vidal,Manuel Vilares Ferro,Jorge Gra?a Gil Fischer 2008) und im Hinblick auf die Hauptstudie 2008 überarbeitet (vgl. Fischer 2009 sowie Fischer & Biehler 2010). Dabei ergab sich nicht nur die Notwendigkeit der Anpassung der E‐Kurse sondern auch der überarbeitung des Konzepts für die P‐Kurse, bei denen nun ausgedehntere Phasen selbstregulier作者: 野蠻 時間: 2025-3-30 05:04
Alberto Coen-Porisini,Richard A. Kemmerer,Dino Mandrioli Fischer 2008) und im Hinblick auf die Hauptstudie 2008 überarbeitet (vgl. Fischer 2009 sowie Fischer & Biehler 2010). Dabei ergab sich nicht nur die Notwendigkeit der Anpassung der E‐Kurse sondern auch der überarbeitung des Konzepts für die P‐Kurse, bei denen nun ausgedehntere Phasen selbstregulier作者: OASIS 時間: 2025-3-30 09:56 作者: 獨特性 時間: 2025-3-30 14:31 作者: 易受騙 時間: 2025-3-30 20:21
Jeff Magee,Naranker Dulay,Susan Eisenbach,Jeff Krameresellschaftliche Botschafter*innen für Mathematik und müssen über ein tragf?higes und facettenreiches Mathematikbild verfügen, um in einem modernen, kompetenzorientierten Unterricht die Relevanz der Mathematik und ihre Bedeutung als Kulturgut und Schlüsseltechnologie vermitteln zu k?nnen..?.978-3-658-34661-4978-3-658-34662-1作者: 宿醉 時間: 2025-3-31 00:44 作者: 善變 時間: 2025-3-31 01:14
Ian Warren,Ian Sommervilletliche Botschafter*innen für Mathematik und müssen über ein tragf?higes und facettenreiches Mathematikbild verfügen, um in einem modernen, kompetenzorientierten Unterricht die Relevanz der Mathematik und ihre Bedeutung als Kulturgut und Schlüsseltechnologie vermitteln zu k?nnen..?.作者: Dictation 時間: 2025-3-31 06:37
Andreas Zeller,Gregor Sneltingesellschaftliche Botschafter*innen für Mathematik und müssen über ein tragf?higes und facettenreiches Mathematikbild verfügen, um in einem modernen, kompetenzorientierten Unterricht die Relevanz der Mathematik und ihre Bedeutung als Kulturgut und Schlüsseltechnologie vermitteln zu k?nnen..?.978-3-658-34661-4978-3-658-34662-1作者: Oscillate 時間: 2025-3-31 12:59 作者: 出生 時間: 2025-3-31 15:12 作者: champaign 時間: 2025-3-31 17:56
Craig Gaskell,Roger Phillips der Idealtheorie, insofern bei ihr das erw?hnte Hilfstheorem einen wesentlichen Hebel der Untersuchung bildet, sich darstellt als Verallgemeinerung der elementaren, auf dem Euklidischen Divisionsverfahren beruhenden Begründung der Teilbarkeitsgesetze im Gebiete der rationalen ganzen Zahlen.作者: Reverie 時間: 2025-4-1 01:30 作者: 帶來墨水 時間: 2025-4-1 02:56 作者: 群居男女 時間: 2025-4-1 07:41 作者: 彩色 時間: 2025-4-1 11:04
