位置：成果数据库 > 会议 > 会议详情页
From Stakeholder Requirements to Formal Specifications through Refinement
  • 所属机构名称：北京大学
  • 会议名称：REFSQ 2015
  • 时间：2015.3.23
  • 成果类型：会议
  • 相关项目：面向服务的软件理论、方法及其应用
作者： Fenglin Li|Jennifer Horkoff|Alexander Borgida|Lin Liu|John Mylopoulos|
同会议论文项目
面向服务的软件理论、方法及其应用
期刊论文 42 会议论文 43
同项目会议论文
Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs
A self-management approach for service developers of PaaS
Eliciting Relations from Natural Language Requirements Documents Based on Linguistic and Statistical
基于Web服务的白盒测试自动化工具原型开发
Interactive Recommendation of Composition Operators for Situational Data Integration
Program behavior analysis and control for online IDE
A performance guarantee approach for cloud applications based on monitoring
Bug Localization via Searching Crowd-Contributed Code
A Sensory Data Integrating Bus under the Intelligent Transportation System
Analysis of Data Clustering Support for Service
An Effective Defect Detection and Warning Prioritization Approach for Resource Leaks
CEclipse : An online IDE for programing in the cloud
Resource Provisioning of Web Applications in Heterogeneous Clouds
Understanding Requirements for Online Services Based on Users' Behavioural Data Analysis
Non-Functional Requirements Revisited
An effective defect detection and warning prioritization approach for resource leaks
A model-driven monitoring approach for internetware on platform-as-a- service (PaaS)
Specification and runtime verification of API constraints on interacting objects
An Efficient Data Maintenance Strategy for Data Service Mashup Based on Materialized View Selection
<h1 class="mediumb-text" style="font-size:1em;font-family:Arial, Helvetica, sans-s
Context-aware service modeling and rule evolution
Inferring Dependency Constraints on Parameters for Web Services
Non-functional requirements as qualities, with a spice of ontology
Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory
Testing Tasks Management in Testing Cloud Environment
Building Customizable Context-aware Systems
Program Behavior Analysis and Control for Online IDE
MapReduce-Based Data Stream Processing over Large History Data
Dataflow Optimization for Service-Oriented Applications
An Efficient Data Maintenance Model for Data Service Mashup
Scalable Join Queries in Cloud Data Stores
Database Size Estimation by Query Performance - A Complexity Aspect
Elastic Resource Management for Heterogeneous Applications on PaaS
A Scalable and Integrated Cloud Monitoring Framework Based on Distributed Storage
Inferring project-specific bug patterns for detecting sibling bugs
Iterative mining of resource-releasing specifications
User Centric Homogeneity-Based Clustering Approach for Intelligence Computation
An Enhanced PROMETHEE Model for QoS-Based Web Service Selection
Quality-Driven Hierarchical Clustering Algorithm For Service Intelligence Computation
Exploring big data in small forms: A multi-layered knowledge extraction of social networks
Inferring Dependency Constraints on Parameters for Web Services
Introducing Code Assets of a New White-Box Security Modeling Language