劳拉·卡斯特罗
人员信息
其他同名人员
劳拉·卡斯特罗 劳拉·克鲁斯·卡斯特罗 (又名:Laura Melissa Cruz Castro) 劳拉·罗·卡斯特罗 劳拉·克鲁兹·卡斯特罗 劳拉·卡斯特罗 劳拉·卡斯特罗·蒙塔尼亚
优化列表
2020年–今天
2024 [c34] 卢西亚·阿尔瓦雷斯-克雷斯波 , 劳拉·卡斯特罗 :
加利西亚网上厌女检测语料库。 PROPOR公司 2024 : 22-31 2023 [公元33年] 毛里西奥·伊达尔戈 , 埃尔南·阿斯图迪略 , 劳拉·卡斯特罗 :
在软件工程教育中使用角色扮演的挑战:快速回顾。 ICAI公司 2023 : 245-260 [公元32年] 劳拉·卡斯特罗 :
角色扮演软件架构风格。 ICSA-C公司 2023 : 171-174 [公元31年] 毛里西奥·伊达尔戈 , 埃尔南·阿斯图迪略 , 劳拉·卡斯特罗 :
软件架构师如何学习:科尔布学习风格清单中对他们学习风格的初步研究。 SCCC公司 2023 : 1-8 [i3] 劳拉·卡斯特罗 :
角色扮演软件架构风格。 CoRR公司 abs/2302.14461 ( 2023 ) 2021 [公元10年] 阿马尔·布切里特 , 劳拉·卡斯特罗 , 奥斯曼·哈桑 , 阿卜杜拉·哈巴巴 :
面向安全关键型软件体系结构的混合形式化分析技术。 国际期刊临界计算。 基于系统。 10 ( 2 ) : 95-119 ( 2021 ) [公元30年] 费尔南多·贝纳维德斯·罗德里格斯 , 劳拉·卡斯特罗 :
以最高的确定度检测Erlang码基中的oxbow码。 二郎工作室 2021 : 28-40 [i2] 费尔南多·贝纳维德斯·罗德里格斯 , 劳拉·卡斯特罗 :
以最高确定性检测Erlang码基中的Oxbow码。 CoRR公司 abs/2107.08699 ( 2021 ) 2020 [公元9年] 阿马尔·布切里特 , 劳拉·卡斯特罗 , 阿卜杜拉·哈巴巴 , 奥斯曼·哈桑 :
基于多智能体的安全关键系统的Petri网和基于重写逻辑的形式化分析。 多代理网格系统。 16 ( 1 ) : 47-66 ( 2020 ) [i1] 劳拉·卡斯特罗 :
这与语言无关:范式对软件设计决策的影响。 CoRR公司 abs/2010.08292 ( 2020 )
2010 – 2019
2019 [公元29年] 劳拉·卡斯特罗 , 尼古拉·帕拉迪 :
SDN策略的验证:基于属性的测试视角。 欧盟警察部队/卢旺达问题国际法庭 2019 : 23-29 [公元28年] 弗吉尼亚格兰德 , 克拉拉·贝纳克·厄尔 , 克里斯蒂娜·曼雷萨·耶伊 , 埃琳娜·戈梅斯·马丁内斯 , 劳拉·卡斯特罗 , 帕特里夏·彭斯 , 劳尔·科罗班 :
人人动摇你的公平:组织女性参与电脑活动的经验,为多元化和包容性树立榜样。 I3E研讨会 2019 : 5-16 2018 [j8] 阿马尔·布切里特 , 劳拉·卡斯特罗 , 阿卜杜拉·卡巴巴 , 奥斯曼·哈桑 :
面向软件系统的形式化开发:访问控制系统案例研究。 技术信息。 控制。 47 ( 三 ) : 393-405 ( 2018 ) [j7] 阿马尔·布切里特 , 阿卜杜拉·哈巴巴 , 劳拉·卡斯特罗 :
基于Petri网的多agent系统模型重写逻辑规范的自动生成算法。 多代理网格系统。 14 ( 4 ) : 403-418 ( 2018 ) [公元27年] 劳拉·卡斯特罗 :
教授下一代软件架构师:一项针对性别的全球课程调查。 ECSA(同伴) 2018 : 14:1-14:4 2016 [j6] 劳拉·卡斯特罗 , 巴勃罗·拉梅拉 , 西蒙·汤普森 :
使基于属性的测试更容易为人类阅读。 计算。 信息学 35 ( 4 ) : 890-913 ( 2016 ) [公元26年] 亨利克·费雷罗 , 劳拉·卡斯特罗 , 弗拉基米尔·扬基克 , 凯文·哈蒙德 :
幼儿园警察:为GHC动态调整幼儿园规模。 科科斯群岛 2016 : 56-66 [公元25年] 劳拉·卡斯特罗 , J.丹尼尔·费尔南德斯 , 卡洛斯·洛佩斯·帕姆 :
让每个人都熟悉Erlang:用于热控制的SCADA系统。 Erlang研讨会 2016 : 56-57 [公元24年] 丹尼尔·卡巴拉 , 劳拉·卡斯特罗 :
从测试反例中自动生成UML序列图。 Erlang研讨会 2016 : 58-59 2015 [j5] 劳拉·卡斯特罗 :
数据完整性的高级管理:基于属性的业务规则测试。 J.因特尔。 信息系统。 44 ( 三 ) : 355-380 ( 2015 ) 【j4】 阿格内塔·尼尔森 , 劳拉·卡斯特罗 , 塞缪尔·里瓦斯 , 托马斯艺术 :
评估引入新软件开发过程的影响:方法描述。 国际期刊软件。 技术工具。 Transf公司。 17 ( 1 ) : 1-16 ( 2015 ) [c23] 劳拉·卡斯特罗 :
在桌面上进行基于属性的测试。 欧洲广播公司 2015 : 236至243 2014 [电子2] 劳拉·卡斯特罗 , 汉斯·斯文森 :
2014年9月5日,瑞典哥德堡埃尔朗第十三届ACM SIGPLAN研讨会会议记录。 ACM公司 2014 ,国际标准图书编号 978-1-4503-3038-1 [目录] 2013 [j3] 劳拉·卡斯特罗 :
使用Erlang构建Web应用程序 作者:Zachary Kessin,O'Reilly Media,Inc.,2012年,ISBN 97-81-4493-20652。 J.功能。 程序。 23 ( 2 ) : 225-226 ( 2013 ) [注2] 劳拉·卡斯特罗 , 米盖尔·弗朗西斯科 :
一种独立于语言的黑盒测试方法,使用Erlang作为测试规范语言。 J.系统。 柔和。 86 ( 12 ) : 3109-3122 ( 2013 ) [公元22年] 米盖尔·弗朗西斯科 , 马西亚斯·洛佩斯 , 亨利克·费雷罗 , 劳拉·卡斯特罗 :
将web服务描述转换为用于自动测试的快速检查模型。 Erlang研讨会 2013 : 79-86 【c21】 阿尔贝托·卡萨诺娃 , 劳拉·卡斯特罗 , 安东尼奥·布兰科·费罗 :
通过集成基础设施管理改进业务运营。 EUROCAST(1) 2013 : 158-165 [公元20年] 马西亚斯·洛佩斯 , 劳拉·卡斯特罗 , 大卫·卡布雷罗 :
时间相关系统基于属性测试的可行性。 EUROCAST(2) 2013 : 527-535 [第19条] 马西亚斯·洛佩斯 , 恩里克·费雷罗 , 米盖尔·弗朗西斯科 , 劳拉·卡斯特罗 :
使用WSDL和OCL为Web服务自动生成测试模型。 国际社会理事会 2013 : 483-490 [电子1] 史蒂夫·维诺斯基 , 劳拉·卡斯特罗 :
第十二届ACM SIGPLAN Erlang研讨会会议记录,美国马萨诸塞州波士顿,2013年9月28日。 ACM公司 2013 ,国际标准图书编号 978-1-4503-2385-7 [目录] 2012 [第18条] 马西亚斯·洛佩斯 , 劳拉·卡斯特罗 , 大卫·卡布雷罗 :
网络分区和节点故障的故障转移和接管应急机制。 Erlang研讨会 2012 : 51-60 [第17条] 米盖尔·弗朗西斯科 , 劳拉·卡斯特罗 :
从带有OCL约束的UML模型中自动生成测试模型和属性。 OCL@莫代尔斯 2012 : 49-54 [第16条] 马西亚斯·洛佩斯 , 劳拉·卡斯特罗 , 大卫·卡布雷罗 :
iDTV的声明式分布式广告系统:一种行业体验。 PPDP(PPDP) 2012 : 185-194 [第15条] 亨利克·费雷罗 , 弗拉基米尔·扬基克 , 劳拉·卡斯特罗 , 凯文·哈蒙德 :
重复历史:并行Haskell程序的执行重播。 函数式编程趋势 2012 : 231-246 2011 [第14条] 托马斯艺术 , 劳拉·卡斯特罗 :
具有副作用的数据类型的基于模型的测试。 Erlang研讨会 2011 : 30-38 2010 [第13条] 劳拉·卡斯特罗 , 托马斯艺术 :
使用QuickCheck测试数据密集型应用程序的数据一致性。 PROLE公司 2010 : 41-62
2000 – 2009
2009 [第12条] 劳拉·卡斯特罗 , 米盖尔·弗朗西斯科 , 维克托·古利亚斯 :
集成测试的实用方法。 欧洲广播公司 2009 : 881-888 2008 [j1] 劳拉·卡斯特罗 , 维克托·M·古利亚斯 , 卡洛斯·阿巴尔德 , J.圣地亚哥·豪尔赫 :
管理风险管理的风险。 J.德希斯。 系统。 17 ( 4 ) : 501-521 ( 2008 ) [第11条] J.圣地亚哥·豪尔赫 , 维克托·M·古利亚斯 , 劳拉·卡斯特罗 :
使用Coq证明功能视频点播服务器的缓存级别属性。 AISC/MKM/结石 2008 : 296-299 [第10条] 托马斯艺术 , 劳拉·卡斯特罗 , 约翰·休斯 :
使用quviq quickcheck测试Erlang数据类型。 Erlang研讨会 2008 : 1-8 【c9】 卡洛斯·阿巴尔德 , 维克托·M·古利亚斯 , 劳拉·卡斯特罗 :
在DHT上高效发现广泛分布的非易失资源。 ICIW公司 2008 : 370-376 2007 【c8】 卡洛斯·阿巴尔德 , 维克托·M·古利亚斯 , 劳拉·卡斯特罗 :
面向P2P公共信息屏幕的分散和结构化网络。 欧洲广播公司 2007 : 217-224 【c7】 J.圣地亚哥·豪尔赫 , 维克托·M·古利亚斯 , 劳拉·卡斯特罗 :
使用不同定理证明程序验证程序属性:案例研究。 欧洲广播公司 2007 : 233-240 【c6】 卡洛斯·阿巴尔德 , 维克托·M·古利亚斯 , 劳拉·卡斯特罗 :
使用P2P聚合内容管理扩展VoDKA体系结构。 ISCC公司 2007 : 1085-1090 【c5】 J.圣地亚哥·豪尔赫 , 维克托·M·古利亚斯 , 劳拉·卡斯特罗 :
教师资格证书:Un Caso de Estudio。 JIISIC公司 2007 : 27-34 【c4】 卡洛斯·阿巴尔德 , 维克托·M·古利亚斯 , 劳拉·卡斯特罗 , 卡洛斯·瓦雷拉 , J.圣地亚哥·豪尔赫 :
复杂管理应用程序开发的Erlang/OTP框架。 网络研讨会(1) 2007 : 422-425 2006 【c3】 维克托·M·古利亚斯 , 卡洛斯·阿巴尔德 , 劳拉·卡斯特罗 , 卡洛斯·瓦雷拉 :
职能风险管理系统的正式化。 冰岛(3) 2006 : 516-519 2004 【c2】 卡洛斯·瓦雷拉 , 卡洛斯·阿巴尔德 , 劳拉·卡斯特罗 , 何塞·古利亚斯 :
关于使用Erlang建模代理系统。 Erlang研讨会 2004 : 65-70 2003 【c1】 大卫·卡布雷罗 , 卡洛斯·阿巴尔德 , 卡洛斯·瓦雷拉 , 劳拉·卡斯特罗 :
ARMISTICE:使用Erlang开发管理软件的经验。 Erlang研讨会 2003 : 23-28