the proceedings contain 94 papers. the topics discussed include: modeling and synthesizing event-driven simulators from collaborating UML statecharts;an integrated requirements specification and validation framework f...
详细信息
ISBN:
(纸本)9780889865990
the proceedings contain 94 papers. the topics discussed include: modeling and synthesizing event-driven simulators from collaborating UML statecharts;an integrated requirements specification and validation framework for model-based systems;non visual widgets as reusable components;a peer-to-peer framework for mobile collaboration;project management through policy monitoring;finding aspects in object-oriented system;empirical study of the usability of dynamic information in reverse engineering;predicting value-creation in software project complexity;comparison of real-time specification techniques using a real-time features based framework;continuous monitoring of skycube queries over sliding windows in data stream environment;variational Bayesian approach for exponential software reliability model;and effective performance analysis and visualization on embedded Linux.
the proceedings contain 38 papers. the topics discussed include: a fast and secure software solution [SS7.0] that counters shoulder surfing attack;reducing the number of change-requests using capabilities engineering:...
ISBN:
(纸本)9780889868120
the proceedings contain 38 papers. the topics discussed include: a fast and secure software solution [SS7.0] that counters shoulder surfing attack;reducing the number of change-requests using capabilities engineering: an empirical analysis;MySquare: a semi-automated square tool for security requirements;traceability of software specifications: a relational schema based model;an annotation language framework for statically-typed syntax trees;BPEL movie framework: replaying BPEL processes from logs;towards a measure of software intelligence employing a runtime complexity metric;business monitoring solution for an e-government framework based on SOA architecture;notation and tool for interaction cases: understanding, designing and implementing software-intensive systems;probabilistic model checking of an automatic identification system;designing architecture flexibility using software components;and measuring the effectiveness of Nokia test in very small teams.
the proceedings contain 93 papers. the topics discussed include: software quality model based on software development approaches;effects of dependency injection on maintainability;improved decision-making for software...
ISBN:
(纸本)9780889867055
the proceedings contain 93 papers. the topics discussed include: software quality model based on software development approaches;effects of dependency injection on maintainability;improved decision-making for software managers using Bayesian networks;calibrated estimation model for a maintenance project;a new model for evaluating performability under the effects of software aging and rejuvenation;towards a compliance support framework for global software companies;improving the quality of knowledge representation for requirements engineeringthrough natural language requirements patterns;empirical evaluation of issue based variability modeling using the experimental survey technique;capturing behavior coordination in goal-oriented requirement engineering;and considering environmental function in reliability growth modeling from testing to operation.
the proceedings contain 131 papers. the topics discussed include: fuzzy DCG syntactic parser for command language recognition under special conditions;software development paradigms for artificial intelligence applica...
ISBN:
(纸本)0889863237
the proceedings contain 131 papers. the topics discussed include: fuzzy DCG syntactic parser for command language recognition under special conditions;software development paradigms for artificial intelligence applications;fuzzy multilevel multicriteria decision making methodology for facility layout problem;hybrid representation for natural language engineering systems;solving games with perfect information using genetic algorithms and a backpropagation neural network;deploying good practices in different requirements process models;mapping functional requirements: from natural language to conceptual schemata;requirements interactions management: a multi-level framework;the modification process: a practical means to understand and enhance the software requirements engineering process;and requirements engineering for dynamic markets.
the proceedings contain 36 papers. the topics discussed include: application of multi-agent systems to disaster relief using Q-learning;realizing knock-out effect and parent mitigation power for detailed attack patter...
ISBN:
(纸本)9780889867765
the proceedings contain 36 papers. the topics discussed include: application of multi-agent systems to disaster relief using Q-learning;realizing knock-out effect and parent mitigation power for detailed attack patterns: a case study;on the engineering of survivable systems;formal specification of some important operators on extended algebraic automata;organization and retrieval in affectively annotated K-line indexed media repositories;timing, precedence, and resource constraints in the realspec real-time specification language;defining the output of a software architecture process;using a combination of measurement tools to extract metrics from open source projects;lessons learned from a corporate application of construction by configuration in Procter & Gamble;run-time binary code patching and its application;and alias: a set of abstract languages for user interface assembly.
the proceedings contain 28 papers. the topics discussed include: an empirical study on test driven development process for android applications;FormalTCGenerator: a tool of automatically generating test cases for infi...
ISBN:
(纸本)9780889869066
the proceedings contain 28 papers. the topics discussed include: an empirical study on test driven development process for android applications;FormalTCGenerator: a tool of automatically generating test cases for infinite states reactive systems;automatic correction of programming faults using semantic networks;finding duplicate code in Java using beacons and idioms;verifying embedded systems using component-based runtime observers;design changes to the COPAR service using Opnet modeler;an interoperability architectural model based on complex system theory for the ultra-large-scale systems;towards higher changeability for airplane cabin software;service oriented organizational interoperability architectural framework;and empirical analysis of object-oriented coupling and cohesion measures in determining the quality of open source systems.
the proceedings contain 22 papers. the special focus in this conference is on Dependable softwareengineering: theories, Tools and applications. the topics include: Extending Symbolic Heap to Support Shared Owner...
ISBN:
(纸本)9789819606016
the proceedings contain 22 papers. the special focus in this conference is on Dependable softwareengineering: theories, Tools and applications. the topics include: Extending Symbolic Heap to Support Shared Ownership;constraint Based Invariant Generation with Modular Operations;Data-Dependent WAR Analysis for Efficient Task-Based Intermittent Computing;Can Language Models Pretend Solvers? Logic Code Simulation with LLMs;enhancing Multi-modal Regular Expression Synthesis via Large Language Models and Semantic Manipulations of Sub-expressions;Formal Verification of RISC-V Processor Chisel Designs;the Principle of Staking: Formal Verification of Staking Smart Contract;a Contract-Based Framework for Formal Verification of Embedded software;Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness;the Design of Intelligent Temperature Control System of Smart House with MARS;universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects;Cache Behavior Analysis with SP-Relative Addressing for WCET Estimation;timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals;runtime Verification of Neural-Symbolic Systems;eidos: Efficient, Imperceptible Adversarial 3D Point Clouds;MILE: A Mutation Testing Framework of In-Context Learning Systems;a Derivative-Based Membership Algorithm for Enhanced Regular Expressions;nanoHook: An Efficient System Call Hooking Technique with One-Byte Invasive;faster Lifetime-Optimal Speculative Partial Redundancy Elimination for Goto-Free Programs;EDSLog: Efficient Log Anomaly Detection Method Based on Dataset Partitioning.
this article expounds the basic principles of planar optical waveguides and the analysis ideas of waveguide end slot phased array antennas. Combining modern digital computing technology and HFSS software, a single pho...
详细信息
As softwareapplications get increasingly connected and complex, cybersecurity becomes more and more important to consider during development and evaluation. software engineers need to be aware of various security thr...
详细信息
ISBN:
(纸本)9783031783852;9783031783869
As softwareapplications get increasingly connected and complex, cybersecurity becomes more and more important to consider during development and evaluation. software engineers need to be aware of various security threats and the countermeasures that can be taken to mitigate them. Currently, there is a lack of guidance for software engineers aiming to develop secure web applications. We conducted a design science research study, resulting in a set of guidelines to aid software engineers in developing secure web applications. the set of guidelines was constructed based on interview data with10 industry practitioners. these guidelines were then evaluated using a survey with 28 respondents. Our results indicate that these proposed guidelines can be applied by software engineers to support the development and assessment of secure web applications in different stages of the software development lifecycle.
暂无评论