基于PAR方法的管理信息系统需求建模研究
摘要
采用PAR方法中严格定义的形式化语言Radl描述MIS(管理信息系统)系统的性质和行为模式,并建立对应的需求数学模型,为构建高质量的软件需求模型进行了有益的探索。
出处
《湘潭师范学院学报（自然科学版）》
2008年第2期43-45,共3页
Journal of Xiangtan Normal University (Natural Science Edition)
基金
国家自然科学基金(60273092)
参考文献6
-
1周子英.现代软件工程(中)[M].北京:科学出版社,2001.
-
2李英龙,薛锦云.一种基于规约精化的货物分发问题求解方案分析[J].计算机与现代化,2006(7):1-4. 被引量：1
-
3郑红军,张乃孝.软件开发中的形式化方法[J].计算机科学,1997,24(6):90-96. 被引量：22
-
4薛锦云,吴云峰,万剑怡.迭代算子及其在可重用软件研究中的应用[J].软件学报,1997,8(2):145-152. 被引量：4
-
5薛锦云.新型软件开发方法PAR及其支撑平台[R].江西师范大学省高性能计算技术重点实验室技术报告,2005.
-
6薛锦云.PAR方法算法描述语言Radl技术报告[R].江西师范大学省高性能计算技术重点实验室,2005.
二级参考文献12
-
1薛锦云，中国抗恶劣环境专委会软件学组成立及第1届学术讨论会论文集，1994年
-
2薛锦云，J Comput Sci Technol，1993年，8卷，2期，147页
-
3薛锦云，Sci Comp Prog，1988年，11卷，12期，161页
-
4Ian Sommerville.Software Engineering (6th Edition)[M].Addison-Wesley Press,USA,2000.
-
5Smith D R,Lowry M R.Algorithm theories and design tactics[J].Science of Computer Programming,1990,14(2-3):305-321.
-
6Smith D R.Toward a classification approach to design[A].Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology,AMAST'96[C].1996.62-84.
-
7Pavlovic D,Smith D R.Guarded transitions in evolving specifications[A].Proceedings of Algebraic Methods in Software Technology (AMAST) (2002)[C].2002.
-
8Mattias Anlauff,Dusko Pavlovic,Douglas R Smith.Composition and refinement of evolving specifications[A].Proceedings of Workshop on Evolution Formal Software Development[C].Copenhagen,Denmark July 2002.
-
9Dusko Pavlovic,Douglas R Smith.Software development by refinement[A].UNU/IIST 10th Anniversary Colloquium,Formal Methods at the Crossroads:From Panaea to Foundational Support[C].Springer-Verlag,2003.
-
10James McDonald,John Anton.SPECWARE-Producing Software Correct by Construction[R].Kestrel Institute Technical Report KES.U.04.03,February 2004.
共引文献24
-
1王昌晶,薛锦云.从C++模板到STL[J].江西师范大学学报（自然科学版）,2004,28(4):321-324. 被引量：7
-
2张玮玮,陈珊.软件开发中的形式化方法介绍[J].张家口职业技术学院学报,2005,18(1):54-57. 被引量：5
-
3张子丘,郑宇军,李海英.基于B方法的弹道计算机程序设计技术[J].计算机工程与设计,2005,26(12):3295-3297. 被引量：2
-
4王新苏,王煦法.从形式化规范自动生成系统级状态机[J].中国科学技术大学学报,2006,36(11):1177-1183. 被引量：1
-
5姜梦稚.TPN与B方法集成的形式化技术[J].华东理工大学学报（自然科学版）,2007,33(B06):127-131.
-
6魏延.软件重用技术[J].重庆师范学院学报（自然科学版）,1999,16(2):38-43. 被引量：3
-
7杨启亮,邢建春,王平.安全关键系统及其软件方法[J].计算机应用与软件,2011,28(2):129-138. 被引量：4
-
8林枫.基于SCADE的形式化验证技术研究[J].测控技术,2011,30(12):71-74. 被引量：10
-
9苗德成,冯黎波.形式化方法在软件工程中的应用研究[J].河北科技大学学报,2011,32(6):575-579. 被引量：4
-
10张乃孝,张明恒.基于交易中间件的客户 /服务器系统的形式描述[J].微电子学与计算机,2000,17(5):1-5. 被引量：1
-
1李震,刘斌,李小勋,殷永峰.基于Petri网模型检验的安全关键软件需求验证[J].系统工程与电子技术,2011,33(2):458-463. 被引量：7
-
2唐金文.基于“用例”的软件需求建模方法研究[J].曲靖师范学院学报,2007,26(6):51-54.
-
3姚剑,毋国庆.目标驱动的软件需求模型及应用[J].计算机应用研究,1999,16(7):33-36. 被引量：4
-
4徐晓东,饶云华.基于对象的嵌入式实时软件需求模型[J].计算机科学,2003,30(12):169-171. 被引量：2
-
5王昌晶,薛锦云.Radl形式规格说明相对正确性研究[J].软件学报,2013,24(4):715-729. 被引量：6
-
6丁伟雄,李晓东.UML需求建模复合技术研究[J].现代计算机,2008,14(5):43-45.
-
7笪浩军,祝义,刘东飞.一种软件需求模型到设计模型的转换方法[J].电脑知识与技术,2013,9(7):4415-4417.
-
8毛伟辉,陈旭翔,赵少娟,裴金栋,张金华,杨萍.软件项目中的需求管理模型[J].电信快报（网络与通信）,2010(1):25-28. 被引量：2
-
9王昌晶,薛锦云,左正康.SRLtoRadl生成系统及其范畴论语义[J].电子学报,2014,42(1):137-143. 被引量：11
-
10谢武平,薛锦云.Radl算法到Apla程序的生成系统[J].计算机研究与发展,2014,51(4):856-864. 被引量：10
