第三版博客装订完毕

html:

<div class="header">
    <div class="wrap">
        <div class="logo">
            <a href="http://www.cnblogs.com/qiuge227/">
                <img src="http://images.cnblogs.com/cnblogs_com/qiuge227/565381/o_logo.png"
                alt="" />
            </a>
        </div>
        <div class="cssmenu">
            <ul id="nav">
                <li class="active">
                    <a href="javascript:;">
                        关于我
                    </a>
                </li>
                <li>
                    <a href="http://www.cnblogs.com/qiuge227/category/566234.html">
                        android开发
                    </a>
                </li>
                <li>
                    <a href="http://www.cnblogs.com/qiuge227/category/564765.html">
                        小飒随笔
                    </a>
                </li>
                <li>
                    <a href="http://www.cnblogs.com/qiuge227/category/567563.html">
                        前端开发
                    </a>
                </li>
                <li>
                    <a href="http://www.cnblogs.com/qiuge227/category/567380.html">
                        设计
                    </a>
                </li>
                <li>
                    <a href="http://www.cnblogs.com/qiuge227/article/rss">
                        RSS订阅
                    </a>
                </li>
                <li>
                    <a href="http://i.cnblogs.com/">
                        博主管理
                    </a>
                </li>
            </ul>
        </div>
        <div class="clear">
        </div>
    </div>
</div>
<div class="banner-icons">
    <div class="banner-icon">
        <a href="single.html">
            <img src="http://images.cnblogs.com/cnblogs_com/qiuge227/565381/o_weibo.png"
            alt="" />
        </a>
    </div>
    <div class="clear">
    </div>
</div>

css:

/* reset */
html,body,div,span,applet,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre,a,abbr,acronym,address,big,cite,code,del,dfn,em,img,ins,kbd,q,s,samp,small,strike,strong,sub,sup,tt,var,b,u,i,dl,dt,dd,ol,nav ul,nav li,fieldset,form,label,legend,table,caption,tbody,tfoot,thead,tr,th,td,article,aside,canvas,details,embed,figure,figcaption,footer,header,hgroup,menu,nav,output,ruby,section,summary,time,mark,audio,video {
    margin:0;
    padding:0;
    border:0;
    font-size:100%;
    font:inherit;
    vertical-align:baseline;
}
article,aside,details,figcaption,figure,footer,header,hgroup,menu,nav,section {
    display:block;
}
ol,ul {
    list-style:none;
    margin:0;
    padding:0;
}
blockquote,q {
    quotes:none;
}
blockquote:before,blockquote:after,q:before,q:after {
    content:‘‘;
    content:none;
}
table {
    border-collapse:collapse;
    border-spacing:0;
}
/* start editing from here */a {
    text-decoration:none;
}
.wrap {
    width:80%;
    margin:0 auto;
    -moz-transition:all .2s linear;
    -webkit-transition:all .2s linear;
    -o-transition:all .2s linear;
    -ms-transition:all .2s linear;
}
.header {
    background:url(http://images.cnblogs.com/cnblogs_com/qiuge227/565381/o_header-bg.jpg);
    padding:39px 0;
}
.logo {
    float:left;
}
.banner-icons {
    width:49%;
    max-width:125px;
    margin:0 auto;
    padding:40px 0 80px;
    position:absolute;
    left:50px;
}
.banner-icon {
    display:inline-block;
    background:#CC4281;
    width:60px;
    height:60px;
    margin:0 auto;
    text-align:center;
    border-radius:100px;
    -webkit-border-radius:100px;
    -moz-border-radius:100px;
    -o-border-radius:100px;
}
.banner-icon img {
    padding-top:13px;
}
/*--menu--*/
.cssmenu {
    float:right;
    margin-top:16px;
}
.cssmenu > ul > li {
    display:inline-block;
}
.cssmenu > ul > li.active a,.cssmenu > ul > li a:hover {
    color:#fff;
    background:#282828;
    border-radius:20px;
    -webkit-border-radius:20px;
    -moz-border-radius:20px;
    -o-border-radius:20px;
}
.cssmenu > ul > li > a {
    color:#fff;
    text-align:display:block;
    padding:10px 20px;
    letter-spacing:1px;
    font-size:0.8125em;
}
/*****************************/

#EntryTag {
    margin-top:20px;
    font-size:9pt;
    color:gray;
}
.topicListFooter {
    text-align:right;
    margin-right:10px;
    margin-top:10px;
}
#divRefreshComments {
    text-align:right;
    margin-right:10px;
    margin-bottom:5px;
    font-size:9pt;
}
* {
    margin:0;
    padding:0;
}
html {
    height:100%;
}
body {
    color:#000;
    font-family:Verdana,Arial,Helvetica,sans-serif;
    font-size:13px;
    min-height:101%;
    background:#fff;
}
table {
    border-collapse:collapse;
    border-spacing:0;
}
fieldset,img {
    border:0;
}
ul {
    word-break:break-all;
}
li {
    list-style:none;
}
a {
    color:#D34786;
}
a:hover {
    color:#CB4180;
}
h1,h2,h3,h4,h5,h6 {
    font-size:100%;
    font-weight:normal;
}
.clear {
    clear:both;
}
#home {
    margin:0 auto;
}
#header {
    background:url(http://images.cnblogs.com/cnblogs_com/qiuge227/565381/o_banner-bg.png);
    padding:9.5% 0 8%;
    background-position:center;
    background-size:100% 100%;
}
#blogTitle {
    height:60px;
    clear:both;
}
#blogTitle h1 {
    width:25%;
    background:#CB4180;
    color:#FFF;
    margin:0 auto;
    font-size:1.5em;
    padding:10px;
    text-align:center;
    text-transform:uppercase;
}
#blogTitle h2 {
    background:#CB4180;
    color:#FFF;
    text-align:center;
    text-transform:uppercase;
    padding:15px;
    margin:0 auto;
    width:60%;
}
#blogTitle h1 a,#blogTitle h2 a {
    color:#FFF;
    font-family:"微软雅黑";
}
#blogLogo {
    float:right;
}
#navigator {
    background-color:#333;
    height:60px;
    clear:both;
    margin-top:60px;
    position:relative;
}
#navList {
    min-height:30px;
    float:left;
    margin-left:30px;
}
#navList li {
    float:left;
}
#navList a {
    margin:18px 10px 0 0;
    padding:0 10px;
    font:14px/1.5em "微软雅黑";
    display:block;
}
#navList a:link,#navList a:visited,#navList a:active {
    color:#fff;
    text-shadow:3px 3px 3px #000;
}
#navList a:hover {
    text-decoration:underline;
}
#navList .aHeaderXML {
    display:none;
}
.blogStats {
    float:right;
    color:#ccc;
    margin-top:20px;
    margin-right:2px;
    text-align:right;
    visibility:hidden;
}
.themeSelect {
    position:absolute;
    right:20px;
    top:20px;
}
.themeSelect .box-color {
    width:15px;
    height:15px;
    background-color:#ccc;
    float:left;
    display:inline;
    margin-left:10px;
}
/**
@media(min-width:768px) {
    .lead {
    font-size:21px
}
}*/
#main {
    min-width:980px;
    text-align:left;
    clear:both;
}
#mainContent .forFlow {
    float:none;
    width:auto;
}
#mainContent {
    position:relative;
    min-height:1px;
}
@media(min-width:992px) {
    #main {
    width:970px;
    margin:0 auto;
    background:#F8F8F8;
}
#mainContent {
    float:left;
    width:75%;
}
#sideBar {
    float:left;
    width:25%;
}
}@media (max-width:480px) {
    #main {
    width:480px;
}
#mainContent {
    width:100%;
}
#sideBar {
    width:100%;
}
}.day {
    min-height:10px;
    _height:10px;
    margin-bottom:20px;
    padding-bottom:5px;
    margin-left:20px;
    margin-top:1em;
    margin-right:2em;
}
.dayTitle {
    color:#666;
    font-weight:bold;
    line-height:1.5em;
    font-size:110%;
    margin-top:3px;
    margin-bottom:10px;
    float:right;
    position:relative;
    top:40px;
}
.postTitle {
    font-size:14px;
    font-weight:bold;
    padding:0 100px 10px 20px;
    border-bottom:1px solid #e0e0e0;
    line-height:1.5em;
    clear:both;
    border-left:5px solid #E866A2;
    font-family:"微软雅黑";
}
.postTitle a:link,.postTitle a:visited,.postTitle a:active {
    color:#000;
}
.postTitle a:hover {
    color:#1c7791;
    text-decoration:none;
}
.postCon {
    float:right;
    line-height:1.5em;
    width:95%;
    clear:both;
    padding:10px 0;
}
.postDesc {
    float:none;
    clear:both;
    text-align:right;
    padding-right:5px;
    color:#a3a3a3;
}
.postDesc a:link,.postDesc a:visited,.postDesc a:active {
    color:#a3a3a3;
}
.postDesc a:hover {
    color:#f60;
    text-decoration:none;
}
.postSeparator {
    clear:both;
    height:1px;
    clear:both;
    float:right;
    margin:0 auto 5em auto;
}
.topicListFooter {
    margin-top:5em;
}
#sideBar {
    position:relative;
    min-height:1px;
}
.newsItem .catListTitle {
    text-align:left;
    padding:5px 10px;
    border:1px solid #ccc;
    background:#f0f0f0;
}
.newsItem {
    padding:0 0 5px 0;
    margin-bottom:2em;
}
#calendar {
    width:229px;
    margin-bottom:2em;
}
#calendar .Cal {
    width:96%;
    line-height:1.5em;
}
.Cal {
    border:none;
    color:#666;
}
.Cal td {
    padding:3px 0;
}
#calendar table a:link,#calendar table a:visited,#calendar table a:active {
    font-weight:bold;
}
#calendar table a:hover {
    color:#fff;
    text-decoration:none;
    background-color:#f60;
}
.CalTodayDay {
    color:#f60;
}
#calendar .CalNextPrev a:link,#calendar .CalNextPrev a:visited,#calendar .CalNextPrev a:active {
    font-weight:bold;
    background-color:#fff;
}
.CalDayHeader {
    border-bottom:1px solid #ccc;
}
.CalTitle {
    width:100%;
    background:#fff;
    color:#000;
    border-bottom:1px solid #666;
}
.catListTitle {
    font-weight:bold;
    line-height:1.5em;
    font-size:110%;
    margin-top:15px;
    margin-bottom:10px;
    border-bottom:1px solid #000;
    text-align:center;
}
.catListComment {
    line-height:1.5em;
}
.divRecentComment {
    text-indent:2em;
    color:#666;
}
#sideBarMain {
    margin-top:45px;
}
#sideBarMain ul {
    line-height:1.5em;
}
.catListEssay,.catListLink,.catListNoteBook,.catListTag,.catListPostCategory,.catListPostArchive,.catListArticleArchive,.catListImageCategory,.mySearch,.catListComment,.catListView,.catListFeedback {
    margin-bottom:2em;
}
.catListEssay h3,.catListLink h3,.catListNoteBook h3,.catListTag h3,.catListPostCategory h3,.catListPostArchive h3,.catListArticleArchive h3,.catListImageCategory h3,.mySearch h3,.catListComment h3,.catListView h3,.catListFeedback h3,#blog-sidecolumn .catListTitle {
    text-align:left;
    padding:5px 10px;
    background:#f0f0f0;
    border-bottom:none;
    border:1px solid #ccc;
}
.catListEssay ul,.catListLink ul,.catListNoteBook ul,.catListTag ul,.catListPostCategory ul,.catListPostArchive ul,.catListArticleArchive ul,.catListImageCategory ul,.mySearch ul,.catListComment ul,.catListView ul,.catListFeedback ul {
    padding-left:1em;
}
.catListEssay ul li,.catListLink ul li,.catListNoteBook ul li,.catListTag ul li,.catListPostCategory ul li,.catListPostArchive ul li,.catListArticleArchive ul li,.catListImageCategory ul li,.mySearch ul li,.catListComment ul li,.catListView ul li,.catListFeedback ul li {
    margin:.5em;
}
#blog-sidecolumn .catList ul,#blog-sidecolumn .catListBlogRank ul,#blog-sidecolumn .catListArticleCategory ul {
    margin-left:15px;
}
.divRecentCommentAticle {
    margin-top:1.5em;
}
.divRecentComment {
    margin-top:.5em;
}
#topics {
    min-height:200px;
    padding:1em;
}
#topics .postTitle {
    font-size:110%;
    font-weight:bold;
    border-bottom:1px solid #999;
    line-height:1.5em;
    padding-left:5px;
}
.postBody {
    padding:5px 2px 5px 5px;
    line-height:1.5;
    color:#000;
    border-bottom:1px solid #000;
}
#EntryTag {
    color:#666;
}
#EntryTag a {
    margin-left:5px;
}
#EntryTag a:link,#EntryTag a:visited,#EntryTag a:active {
    color:#666;
}
#EntryTag a:hover {
    color:#f60;
}
#topics .postDesc {
    float:none;
    text-align:right;
    padding-right:5px;
    color:#666;
    margin-top:5px;
}
.feedback_area_title {
    font-weight:bold;
    border-bottom:1px solid #333;
    font-size:1.2em;
    margin-top:20px;
    margin:20px 10px 0;
    padding:0 0 5px 8px;
}
.louzhu {
    background:transparent url(‘images/icoLouZhu.gif‘) no-repeat scroll right top;
    padding-right:16px;
}
.feedbackListSubtitle {
    color:#666;
}
.feedbackListSubtitle a:link,.feedbackListSubtitle a:visited,.feedbackListSubtitle a:active {
    color:#666;
    font-weight:normal;
}
.feedbackListSubtitle a:hover {
    color:#f60;
    text-decoration:none;
}
.feedbackManage {
    width:200px;
    text-align:right;
    float:right;
    margin-right:10px;
}
.feedbackCon {
    border-bottom:1px solid #ccc;
    background:url(‘images/comment.gif‘) no-repeat 5px 0;
    padding:15px 0 10px 40px;
    min-height:35px;
    _height:35px;
    margin-bottom:1em;
    line-height:1.5em;
    margin-right:10px;
}
#divRefreshComments {
    text-align:right;
    margin-bottom:10px;
}
.commenttb {
    width:320px;
}
.entrylistTitle,.PostListTitle,.thumbTitle {
    font-size:110%;
    font-weight:bold;
    border-bottom:1px solid #000;
    text-align:right;
    padding:1em;
    font-size:1.3em;
    color:#1c7791;
    border-bottom:1px solid #e0e0e0;
}
.entrylistDescription {
    color:#666;
    text-align:right;
    padding-top:5px;
    padding-bottom:5px;
    padding-right:10px;
    margin-bottom:10px;
}
.entrylistItem {
    min-height:20px;
    _height:20px;
    margin-bottom:30px;
    padding-bottom:5px;
}
.entrylistPosttitle {
    font-size:110%;
    font-weight:bold;
    border-left:5px solid #1fa6e6;
    border-bottom:1px solid #e0e0e0;
    padding:0 0 10px 20px;
    line-height:1.5em;
    padding-left:5px;
}
.entrylistPosttitle a {
    margin-left:10px;
}
.entrylistPosttitle a:hover {
    text-decoration:none;
}
.entrylistPostSummary {
    margin-top:5px;
    padding-left:5px;
    margin-bottom:5px;
    margin-left:20px;
}
.entrylistItemPostDesc {
    text-align:right;
    color:#666;
}
.entrylistItemPostDesc a:link,.entrylistItemPostDesc a:visited,.entrylistItemPostDesc a:active {
    color:#666;
}
.entrylistItemPostDesc a:hover {
    color:#f60;
}
.entrylist .postSeparator {
    clear:both;
    font-size:0;
    line-height:0;
    margin:0;
    padding:0;
    height:0;
    border:none;
}
.pager {
    text-align:right;
    margin-right:10px;
}
.PostList {
    border-bottom:1px solid #e0e0e0;
    clear:both;
    min-height:1.5em;
    _height:1.5em;
    padding-top:10px;
    padding-left:5px;
    padding-right:5px;
    margin-bottom:5px;
    margin-top:1em;
}
.postTitl2 {
    float:left;
}
.postDesc2 {
    color:#666;
    float:right;
}
.postText2 {
    clear:both;
    color:#666;
}
.pfl_feedback_area_title {
    text-align:right;
    line-height:1.5em;
    font-weight:bold;
    border-bottom:1px solid #666;
    margin-bottom:10px;
}
.pfl_feedbackItem {
    border-bottom:1px solid #000;
    margin-bottom:20px;
}
.pfl_feedbacksubtitle {
    border-bottom:1px dotted #666;
    height:1.5em;
}
.pfl_feedbackname {
    float:left;
}
.pfl_feedbackManage {
    float:right;
}
.pfl_feedbackCon {
    color:#000;
    padding-top:5px;
    padding-bottom:5px;
}
.pfl_feedbackAnswer {
    color:#f40;
    text-indent:2em;
}
.tdSentMessage {
    text-align:right;
}
.errorMessage {
    width:300px;
    float:left;
}
.mySearch .input_my_zzk {
    height:1.4em;
    width:175px;
}
.feedbackItem {
    margin:1em 0 1em 1em;
}
.commentform {
    padding:0 5px 0 2em;
}
#commentform_title {
    font-size:16px;
}
#commentform_user {
    font-size:1.2em;
    margin-top:1em;
}
#commentform_user input {
    margin-left:1em;
    padding:.1em;
}
.commentbox_main {
    margin-top:.5em;
}
.commentbox_title_left {
    font-size:1.2em;
    margin-bottom:.4em;
}
.commentbox_opt {
    }#btn_comment_submit {
    padding:.2em;
    margin-top:.5em;
}
.Pager {
    margin-left:5px;
    margin-right:20px;
    font-weight:bold;
}
.Pager a:link,.Pager a:active,.Pager a:visited {
    }#myposts {
    margin-left:1em;
    margin-right:20px;
}
.entrylist {
    margin-left:1em;
    margin-right:20px;
}
.divPhoto {
    border:1px solid #ccc;
    padding:2px;
    margin-right:10px;
}
.thumbDescription {
    color:#666;
    text-align:right;
    padding-top:5px;
    padding-bottom:5px;
    padding-right:10px;
    margin-bottom:10px;
}
.gallery {
    margin-left:1em;
}
.divPhoto:hover {
    border-color:#08c;
    box-shadow:3px 3px 3px rgba(0,0,0,.3);
}
#footer {
    background:#343434;
    padding:3% 0;
    color:#FFF;
    font-size:0.85em;
    text-align:center;
}
.personInfo {
    margin-bottom:20px;
    margin-top:1em;
}
.pages {
    text-align:right;
}
#profile {
    margin-left:1em;
}
.pfl_feedback_area_title {
    margin-bottom:1em;
}
.pfl_answer,.pfl_feedbackCon {
    margin:.5em;
}
#Profile1_panelAdd div {
    margin-top:.5em;
}
#Profile1_panelAdd div b {
    float:left;
    width:8em;
}
#Profile1_panelAdd div input.submitComment {
    padding:.2em;
    display:block;
    margin-left:7.5em;
    margin-top:1em;
}
.postBody p,.postCon p {
    text-indent:2em;
    margin:0 auto 1em auto;
}
.postBody h2 {
    font-size:150%;
    margin:15px auto 2px auto;
    font-weight:bold;
}
.postBody h3 {
    font-size:120%;
    margin:15px auto 2px auto;
    font-weight:bold;
}
.postBody h4 {
    font-size:110%;
    margin:15px auto 2px auto;
    font-weight:bold;
    color:#333;
}
.postBody h5 {
    font-size:100%;
    margin:15px auto 2px auto;
    font-weight:bold;
    color:#333;
}
.postBody a:link,.postBody a:visited,.postBody a:active {
    text-decoration:underline;
}
.postCon a:link,.postCon a:visited,.postCon a:active {
    text-decoration:underline;
}
.postBody ul,.postCon ul {
    margin-left:2em;
}
.postBody li,.postCon li {
    list-style-type:disc;
    margin-bottom:1em;
}
.postBody blockquote {
    background:url(‘images/comment.gif‘))no-repeat 25px 0;
    padding:10px 60px 5px 60px;
    min-height:35px;
    _height:35px;
    line-height:1.6em;
    color:#333;
}
.myposts_title {
    margin:20px 0;
    font-weight:bold;
    text-align:center;
}
.c_b_p_desc {
    text-indent:0;
}
#blog-news {
    margin-left:15px;
}
.blog_comment_body {
    font-size:13px;
}
.blog_comment_body a:link {
    text-decoration:underline;
}
/*delete ad*/
#navigator,#ad_under_post_holder,#blog_news_kb,#HistoryToday {
    display:none;
}

效果图:

第三版博客装订完毕,布布扣,bubuko.com

时间: 2024-10-06 17:35:45

第三版博客装订完毕的相关文章

第三版博客修改计划

为了让自己在学习中不断进步,随时保持学以致用的心态是尤为重要的.这样,一来让人有一种成就感的同时,也有一种满足感. 二来让你永远保持着一种心态,那就是谦逊,释然. 什么是进步,进步就是在每天的点点滴滴中,有所获,有所得. 什么是付出,付出就是每天你都知道自己在做什么,为什么要做,并为之努力的做. 什么是收获,收获就是即使你看不到它微小的变化,但在不知不觉中让自己仿佛变了一个人似的. 记得,记忆中感受最深的一本书是斯宾塞·约翰逊著作的<谁动了我的奶酪?>(Who Moved My Cheese?

第三周博客问题总结

1.学会了```的用法 一开始并没有成功,后来发现是因为输入法没有切换成英文,今后这样的问题要避免出现.--20145106 2.问题:教材86页,Guess的代码,猜数字,不知道原先没有设定好一个数字,为什么可以在0-9之间猜中一个数 解答:百度了(Math.random()10)这行代码的意思,知道了(Math.random())的意思是在[0,1)之间随机产生一个数字,10,所以变成了[0,10)之间随机产生一个数字,所以可以进行猜数字 --20145123 3.IntegerCache.

第二版博客首页安装代码

css: #profile_block{text-align:center;position:absolute; top:60px; right:10px;} #blog-calendar{border-radius: 7px;background:#fff;} #p_b_follow{padding-top:10px;} #p_b_follow a{display:block;width:70px;height:35px; line-height:35px;mrgin-top:10px; te

一个超漂亮的Java版博客系统,内置14套皮肤,已经转化为标准的Eclipse项目,直接导入即可

原文:一个超漂亮的Java版博客系统,内置14套皮肤,已经转化为标准的Eclipse项目,直接导入即可 源代码下载地址:http://www.zuidaima.com/share/1550463745002496.htm MrZhao只分享精品,话不多说,直接上图      - 为了压缩文件我把WEB-INF下面的lib包打包放在网盘下载地址:http://pan.baidu.com/s/1hqqqWOc - 把lib解压进去以后项目直接导入Eclise即可运行 - 数据库Mysql,确保一个新

我也秀秀windows phone版博客园客户端

空余时间做的! 微软应用商店地址http://www.windowsphone.com/zh-cn/store/app/%e5%8d%9a%e5%ae%a2%e5%9b%ad/48a708f8-28cb-4a5d-b963-04f56541a17f 当前版本V2.2(WP8)1.新增个人中心2.新增登陆功能3.新增发表博文功能4.新增已发表博文删除 V2.1(wp8)1.博客园首页文章列表(支持分页查看,自动加载)2.博客园新闻列表(支持分页查看,自动加载)3.支持博客主搜索4.文章和新闻浏览5

第三次博客

第三次博客 一. 规格发展历史 从20世纪60年代开始,就存在着许多不同的形式规格说明语言和软件开发方法.在形式规格说明领域一些最主要的发展过程列举如下: 1969-1972 C.A.R Hoare撰写了"计算机编程的公理基础(An Axiomatic Basis for Computer Programming)"和"数据表示的正确性证明"两篇开创性的论文,并提出了规格说明的概念. 1974-1975 B.Liskow/S.N. Zilles和J. Guttag引

使用jquery moblie框架搭建一个手机版博客园

声明 本例仅供学习交流使用,不参与任何商业活动. 前言 本例结合我的前两篇博客 使用node.js爬取博客园首页的博客 和 使用原生node.js搭建HTTP服务器,支持MP4视频.图片传输,支持下载rar文件,使用jquery moblie框架搭建了一个简单的手机版博客园. 项目地址为手机版博客园http://blog.mdzz.tv:1011/,二维码和效果图如下,第一次加载可能有点慢. 服务器端输出日志如下: 源码我放在github上了,地址https://github.com/guass

Android 博客园客户端 (三) 博客列表和内容显示

项目地址:https://github.com/ZhangTingkuo/AndroidCnblogs.git 经过很多天的努力,终于完成了博客界面的三个Fragment列表显示,分别是,首页.推荐.阅读排行.其实,距离上次,并没有增加更多的功能. 下一步,添加新闻界面的列表和内容显示.

oo第三次博客总结

1.规则化发展历史 形式化方法的研究高潮始于20世纪60年代后期,针对当时所谓"软件危机",人们提出种种解决方法,归纳起来有两类:一是采用工程方法来组织.管理软件的开发过程:二是深入探讨程 序和程序开发过程的规律,建立严密的理论,以其用来指导软件开发实践.前者导致"软件工程"的出现和发展,后者则推动了形式化方法的深入研究.经过30多 年的研究和应用,如今人们在形式化方法这一领域取得了大量.重要的成果,从早期最简单的形式化方法一阶谓词演算方法到现在的应用于不同领域.不