全部文献期刊学位论文会议报纸专利标准年鉴图书|学者科研项目
中外文文献  中文文献  外文文献
作者:Xavier Franch , Nazim H. Madhavji , Bill Curtis ...
来源:[J].ACM SIGSOFT Software Engineering Notes, 2014, Vol.39 (1), pp.24-27ACM
摘要:The quality of empirical studies is critical for the success of the Software Engineering (SE) discipline. More and more SE researchers are conducting empirical studies involving the software industry. While there are established empirical procedures, relatively little is known ab...
作者:Shah Rukh Humayoun , Steffen Hess , Achim Ebert
来源:[J].ACM SIGSOFT Software Engineering Notes, 2014, Vol.39 (1), pp.28-30ACM
摘要:The first international Workshop on Prototyping to Support the Interaction Designing in Mobile Application Development (PID-MAD1 2013) [1] was held on August 27, 2013, in conjunction with the 15th International Conference on Human-Computer Interaction with Mobile Devices and Serv...
作者:Jonathan L. Krein , Charles D. Knutson , Christian Bird
来源:[J].ACM SIGSOFT Software Engineering Notes, 2014, Vol.39 (1), pp.31-35ACM
摘要:The RESER workshop provides a venue in which empirical software engineering researchers can discuss the theoretical foundations and methods of replication, as well as present the results of specific replicated studies. In 2013, the workshop co-located with the International Sympo...
作者:Patricia Lago , Niklaus Meyer , Maurizio Morisio ...
来源:[J].ACM SIGSOFT Software Engineering Notes, 2014, Vol.39 (1), pp.36-38ACM
摘要:The Focus of the GREENS workshop is the engineering of green and sustainable software. Our goal is to bring together academics and practitioners to discuss research initiatives, challenges, ideas, and results in this critically important area of the software industry. This second...
作者:Kasper S. Luckow , Corina S. Păsăreanu
来源:[J].ACM SIGSOFT Software Engineering Notes, 2014, Vol.39 (1), pp.1-5ACM
摘要:We describe Symbolic PathFinder v7 in terms of its updated design addressing the changes of Java PathFinder v7 and of its new optimization when computing path conditions. Furthermore, we describe the Symbolic Execution Tree Extension; a newly added feature that allows for outputt...
作者:Matteo Ceccarello , Oksana Tkachuk
来源:[J].ACM SIGSOFT Software Engineering Notes, 2014, Vol.39 (1), pp.1-5ACM
摘要:Model checkers like Java PathFinder (JPF) often have to combat the state space explosion problem. One solution adopted to tackle this problem is to abstract away parts of the system, e. g., to model complex library classes at a higher level of abstraction. The model classes have ...

我们正在为您处理中,这可能需要一些时间,请稍等。

资源合作:cnki.scholar@cnki.net, +86-10-82896619   意见反馈:scholar@cnki.net

×